دارایی نمونه پایان‌دار
همچنین شناخته شده با: ویژگی مدل متناهی
برابر انگلیک (انگلیسی): Finite model property


تاربرگ‌های پیموده‌شده در این نشست: آمرسان‌باور ⟩ استواره لونهایم-اسکولم ⟩ جهانهای ناهنجار ⟩ چارلز ای لیزرسان