Modal Axiom Sobocinsky
دیسه‌ای
𝐴⊃(◊□𝐴⊃□𝐴)
A⊃(◊□A⊃□A)


تاربرگ‌های پیموده‌شده در این نشست: Mathematical foundations ⟩ Contraposition ⟩ affixing relevant logics ⟩ Löb's theorem ⟩ Closure algebra ⟩ Georg Cantor