范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。
欢迎使用天禾词语词典！我们收录海量汉语词汇，提供成语、近义词、反义词及组词查询。专业团队维护，数据准确，查询便捷。如有问题，欢迎反馈。