A kümesindeki her sonlu altküme tatmin ediliyorsa, A kümesinin tamamının tatmin edilebilir olduğu kanıtlanabilir mi?

Evet, mantıkta kompaktlık teoremi sayesinde, A’nın tüm sonlu altkümeleri tatmin ediliyorsa A bütün olarak da tatmin edilebilir.