様相論理の公理L
#様相論理の公理
Def
$ \sf L \equiv \Box(\Box \varphi \to \varphi) \to \Box\varphi
$ \Boxを理論$ Tの証明可能性と捉えれば，Löbの定理（正確には形式化されたLöbの定理に対応する．）
Memo
もちろん名前はMartin H. Löbに由来する．