هنگرد گزارههای رایه یکم Γ هیچ مدلی ندارد، اگر و تنها اگر برخی زیرهنگردهای پایاندار از Γ هیچ مدلی نداشته باشند.
آشنایی با Compactness Theorem چیست؟معنی Compactness Theorem یعنی چه؟
آشنایی با استواره فشردگی چیست؟معنی استواره فشردگی یعنی چه؟
آشنایی با قضیه ی فشردگی چیست؟معنی قضیه ی فشردگی یعنی چه؟
آشنایی با قضیهی فشردگی چیست؟معنی قضیهی فشردگی یعنی چه؟
برابر پارسی قضیهی فشردگی
معادل فارسی قضیهی فشردگی