Modal Axiom 4

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


تاربرگ‌های پیموده‌شده در این نشست: خشنودی‌پذیری گویایی نایکنواخت واکاوی گویاییگ-تاریخی فرااستواره گودل در گویایی سویی بنداشت K زیرهنگرد آغاز انگارش