みんなが好きな言葉を書いて〜
トピックも作成してみてください!
トピックを投稿する“推しは推せる時に推せ”
“やらずに後悔するより、やってから後悔した方がいい”
“人生は一度きり”
基本的な算術の真であることを証明する、無矛盾の論理形式に合ったどんな理論に対しても、真である算術概念を組み立てることは可能であるが、その理論で証明することはできない。つまり、ある表現力をもった無矛盾の理論はどれも不完全である。単純に言えば、数学を用いて全てを証明はできないということだ。証明することのできない真実もある。