- 989 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 17:33:33 ]
- そういうもんかな
ゲーデル文のアイデアを「感覚的」な（半分嘘の）説明で
説明したほうがいいのかもしれないけど
自分で半分嘘と思いつつ書くってのはどうも抵抗が
でもやってみる
文Gを、「Gは証明可能でない」と定義する
Gが証明可能だと仮定すると、Gの述べることは真だから、Gは証明可能でなく、仮定と矛盾
従ってGは証明可能でない、ゆえにGは真である
というか>>982は、
「真でも偽でもない文が存在する」
という立場にコミットしてることを自覚してるのかな
（「真」の意味にもよるだろうけど）
