中的Mordell-Lang猜想。
定义.结构被形式的定义于某个语言"L"的上下文中，它由常量符号的集合，关系符号的集合，和函数符号的集合组成。在语言"L"上的结构，或"L"-结构，由如下东西组成：函数或关系的价有时也叫做元数（术语"一元"、"二元"和"n-元"中的那个元）。在语言"L"中的理论，或"L"-理论，被定义为"L"中的句子的集合。如果句子的集合闭合于通常的推理规则之下，则被称为闭合理论。例如，在某个特定"L"-结构下为真的所有句子的集合是一个闭合"L"-理论。