" 的典范模型是克里普克模型 <"W","R",formula_6>，这里的 "W" 是所有"L"-"MCS"，而关系 "R" 和 formula_6 为如下:典范模型是 "L" 的模型，因为所有的 "L"-"MCS" 包含 "L" 的所有定理。通过佐恩引理，每个 "L"一致的集合都包含在一个 "L"-"MCS" 中，特别是在 "L" 中不可证明的所有公式都在典范模型中有一个反例。典范模型的主要应用是完备性证明。例如，"K" 的典范模型的性质直接蕴含 "K" 关于所有克里普克框架类的完备性。这个论证"