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

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