fàn chóu xìng · ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ · 更新 2026-06-30 17:22:10
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。