的图，而formula_12-元关系 formula_13 的释义被指派为 "M" 中的 formula_12-元关系。语言 "L" 是可数的，如果在 "L" 中的常量、函数和关系符号是可数的。
例子.一个周知的不可数模型是所有实数的集合，带有次序关系 "<" 作为唯一的关系，和加法与乘法作为函数。有序域的公理是一阶句子；最小上界公理不是一阶的而是二阶的。这个定理蕴涵了实数域的某个可数无限的子域，因此不同于实数域，但满足了实数域所满足的所有一阶句子。(作为可数的有序域，它不能满足最