Modal Axiom 5

برابر انگلیک (انگلیسی): Modal Axiom 5
دیسه‌ای
◊𝐴⊃□◊𝐴
◊A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.2 برنامه‌ی هیلبرت اندرهازش یک انگاشته بَوَندَگی سامانه سویی چندی‌گذارده گویایی‌های فروآموزگاهی