民主党ですがなぜ?

このエントリーをはてなブックマークに追加
998名無し三等兵
>>916
「世界」ではなく「公理系」。

ゲーデルの不完全性定理を言葉で要約すると
 「どのような公理系においても、その公理系だけを用いて、証明あるいは
  否定することの出来ない命題が常に存在する」
となる。逆に言えば、公理系の外からアレすれば証明あるいは否定が出来る。

別に世界がどうこうするって話じゃないし、その公理系が崩壊する、というわけでもない。
解けない問題を作ることが出来る、といえばそれまで。