A’da bulunan formüllerin her sonlu altkümesi tatmin edilebiliyorsa, A’nın kendisinin de tatmin edilebileceği nasıl gösterilir?

Her sonlu altkümesi tatmin edilebiliyorsa, Gödel‑Kompaktlık teoremi uygulanır. Tüm formüller için bir model oluşturulur; aksi durumda bir sonlu çelişki elde edilir ki bu varsayımla çelişir. Böylece A’nın kendisi de tatmin edilebilir.