Modal Axiom Gödel-Löb

دیسه‌ای
□(□𝐴⊃𝐴)⊃□𝐴
□(□A⊃A)⊃□A


تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory of truth Willard Van Orman Quine reference Meinongianism Maxwell John Cresswell Absorption law