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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch822:１３２人目の素数さん
24/05/08 14:48:21.01 P8x5lHTe.net
つまりフレーゲ論理とペアノ公理とか
素朴集合論とペアノ公理では
ゲーデル不完全性定理は証明できない