1 表示所有formula_10 上 n 个变元的型，集合 A 也称作参数集。设结构 formula_23 为 formula_4 的一个基本扩展，formula_25，则容易验证以下集合是个型，称之为 formula_26 在 A 上的型：根据紧致性定理可推出：对所有型 formula_28，都存在一个 formula_4 的基本扩展 formula_23 及 formula_26 使得 formula_32，此时称 formula_33 实现 了 p；如果该模型中不存在这样的 formula_33，