分类:模型论

模型论是研究形式语言中不同的形式理论及其模型之间关系的理论，包括一个形式理论的模型数量、理论的不同模型结构关系等。与研究形式化证明、形式化推理关系的分类:证明论不同，模型论研究这些形式语义上可以对应的不同对象之间的关系。