آشنایی با Modal Axiom Gödel-Löb چیست؟معنی Modal Axiom Gödel-Löb یعنی چه؟

Modal Axiom Gödel-Löb

برابر انگلیک (انگلیسی): Modal Axiom Gödel-Löb

دیسه‌ای

□(□𝐴⊃𝐴)⊃□𝐴

□(□A⊃A)⊃□A

تاربرگ‌های پیموده‌شده در این نشست: جبر بُن‌پارین ⟩ توان‌ذهنی ⟩ Double Negation Elimination ⟩ بی‌کنشی چندبارگی ⟩ ارنست فردریش فردیناند تسرملو ⟩ بنداشت اسکفت