استواره فشردگی

همچنین شناخته شده با: قضیه‌ی فشردگی
برابر انگلیک (انگلیسی): Compactness Theorem

ویمند [=تعریف]

هنگرد [=مجموعه] گزاره‌های رایه یکم [=درجه اول] Γ یک مدل دارد، اگر و تنها اگر هر زیرهنگرد [=زیرمجموعه] پایان‌دار از Γ یک مدل داشته باشد.

ویمند [=تعریف] ۱

هنگرد گزاره‌های رایه یکم Γ هیچ مدلی ندارد، اگر و تنها اگر برخی زیرهنگردهای پایان‌دار از Γ هیچ مدلی نداشته باشند.


جستارهای پیونددار نگره‌ی نمونه