Category:模型论

在数学中，模型论是对以集合论的方式表示数学概念的研究，或者是对位于数学系统底层的模型的研究。它假定有些预先存在的数学对象，并提问从这些给定的对象、在这些对象上的一些运算或关系、和公理的集合能证明什么。