Modal Axiom Gödel-Löb

برابر انگلیک (انگلیسی): Modal Axiom Gödel-Löb
دیسه‌ای
□(□𝐴⊃𝐴)⊃□𝐴
□(□A⊃A)⊃□A


تاربرگ‌های پیموده‌شده در این نشست: ارنست فردریش فردیناند تسرملو وتار گویاییک-فرزانگیک فرزانگی زبان هرروزه ادبنامه گویایی نماتکین Zur Logik der Modalitäten نگره‌ی همدوسی راستی