استواره هستومندی نمونه

همچنین شناخته شده با: قضیه‌ی وجود مدل
برابر انگلیک (انگلیسی): Model existence theorem


تاربرگ‌های پیموده‌شده در این نشست: گوییک سویی بازتابی بودن Modal System K گوییک‌های زیرساختاری فرهنگ فرزاد Modal System T