また、non-formula_99-モデル(1階部分が標準ではないモデル)も、ある公理系が保存的拡大であることの証明にしばしば登場する。