- 309 名前：１３２人目の素数さん mailto:sage [2020/12/14(月) 20:13:52.17 ID:2VYEZqKZ.net]
- 👽氏は以前、職場の上司に
「ゲーデルの不完全性定理で
”数学の体系が無矛盾なら、無矛盾性は証明できない”
といってるが本当か？」
と聞かれたので
「ええ、もし
”自然数論を含む帰納的な体系から矛盾が導かれると矛盾する”
と証明されたならば対角化補題を用いてこしらえた式を利用することによって
上記の体系から矛盾を導く証明が得られます
この命題の補題が、不完全性定理です」
と答えたら、その上司が黙ってしまったそうだ
