数学には証明できない真実がある

1931年、数学者のクルト・ゲーデルは重要な真実を明らかにしました。基本的な算術に十分な一貫した数学体系には、真実だがその体系内では証明できない命題が含まれるというものです。 彼は本質的に自己言及的なパラドックスを作り出しました。「この命題は証明できない」と言うようなものです。もしそれが真実なら、証明できません。もし偽なら、矛盾が生じます。