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