Boolosによると「第2不完全性定理を用いたLöbの定理の証明」は1966年のKripkeに帰するらしくKripke何でもやりすぎと思った