(资料图)

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

本文关于范畴性的简介就讲解完毕，希望对大家有所帮助。