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


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