偶然

「不完全性定理は『現代科学の限界』なるものを示してはいない」の次回で、Con(PA+¬Con(PA))をねたにしようと準備していたら、同じネタを書かれている方がいらっしゃいました。このままではカブっちゃうので、こちらはもうちょっと詳細に立ち入って、違いを出さないと。書き足し、書き足し。