Modal Axiom Gödel-Löb

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