類似の展開２
□Pは「自然数論で命題Pが証明可能」とする

ゲーデルの不完全性定理
□(□⊥⇒⊥)⇒□⊥　”矛盾が証明されると矛盾する、と証明されるなら、矛盾が証明される”

レーブの定理
□(□P⇒P)⇒□P　”Pが証明されるならP、と証明されるなら、Pが証明される”