http://dain.cocolog-nifty.com/myblog/2008/01/post_35f2.html 「2のn乗はいつも自然数になるとは限らない」 これは正しいですか? これが正しくないことを証明できないことに気づかされたとき、 ガーンとヤられる。さらに、その先の論理の限界まで言及され …

id:smoking186 さん情報によると、ω無矛盾性の話だったそうです。 というわけで、前原昭二著「数学基礎論入門」を少し読み直してみたんだけど、やっぱりこの辺の議論は難しくてわかんないや。昔自分で書いたメモ http://d.hatena.ne.jp/kikx/20070406 とか、…