non-standard model 简单地说就是与自然模型(或称标准模型、 期望型) 不同构的模型。设□为一阶语言(见 模型论),从则上讲,任何由□中的语句(即不含自由个体变元的式)组成的集合均可称为语言□上的一阶理论(或称等理论)。但是这样定义的理论往往没有什么意义,至可能是矛盾的。有意义的理论通常采用以下两种方来定义:先选定□的一个模型□(亦称□的一个实现□。