A kümesi formüllerden oluşsun ve A’nın her sonlu altkümesi tatmin edilebilir ise, A’nın kendisi de tatmin edilebilir midir?

Evet; mantığın kompaktlık teoremi gereği, A’nın her sonlu altkümesi tatmin edilebiliyorsa A’nın tamamı da tatmin edilebilir.