Modal Axiom T
دیسه‌ای
□𝐴⊃𝐴
□A⊃A


تاربرگ‌های پیموده‌شده در این نشست: rational numbers ⟩ ∧ Introduction ⟩ Gödel's first incompleteness theorem ⟩ Edward A. Hacker ⟩ Sequent calculus ⟩ Gödel's second incompleteness theorem