>>61
>ゲーデルの不完全性定理
>『数字では正しく表現出来ない事がある』
>多分こんなんっスね。

ざんねん　全然違うよ

自然数とその足し算・掛け算が定義された理論を考える
その場合、この理論の中の論理式は自然数で表現でき推論は計算で表現できる
コンピュータを考えれば明らかだね
コンピュータの中のデータは２進数で
プログラムは２進数の計算だから
で、その場合、ある論理式Ｇが存在して、
Ｇも¬Ｇも上記の理論の中で証明できない
さらにＧはそれ自身の証明が存在しないことで
実は上記の理論の無矛盾性を表す
だから無矛盾ならＧは真であると考えられるが証明できない