Modal Axiom Gödel-Löb
دیسه‌ای
□(□𝐴⊃𝐴)⊃□𝐴
□(□A⊃A)⊃□A


تاربرگ‌های پیموده‌شده در این نشست: modus ponendo ponens ⟩ modus tollendo tollens ⟩ Maxwell John Cresswell