套经典办法是戴德金切割。现在考虑另一个例子：取一阶语言 formula_53，OR 为有序环的理论，formula_54。此时 formula_55。考虑下述公式：任何 formula_58 的有限子集都与 formula_59 相容，所以由紧致性定理可证 formula_58 包含于一个型；formula_58 无法在 formula_62 中实现，却能在 formula_62 的某个基本扩展——超实数中实现。一个能实现所有满足 formula_64 的型的模型称作饱和模型。Section::