なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？at MATH

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch832:１３２人目の素数さん
24/05/08 14:58:59.08 W+FCqGvO.net
>>803
>だから入ってないよ
>入ってないからペアノの公理単独でゲーデル不完全性定理を証明することなど全く不可能
そんなことはないけど
論理式をゲーデルコード化で自然数に変換できればいいから

次ページ

続きを表示

1を表示