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

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


تاربرگ‌های پیموده‌شده در این نشست: جانشانی یکسان