دارایی نمونه پایان‌دار

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


تاربرگ‌های پیموده‌شده در این نشست: nominalism ⟩ نوئما ⟩ نبیگ فشرده در افماریک جبر و تراز کردن