模型论

模型论
image
模型论是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。

定义

结构被形式的定义于某个语言L 的上下文中，它由常量符号的集合，关系符号的集合，和函数符号的集合组成。在语言L上的结构，或L-结构，由如下东西组成:
一个全集或底层集合A，它包含所有感兴趣的对象("论域")，
给 L 的每个常量符号一个在 A 中元素，