范畴性

范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。