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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch826:１３２人目の素数さん
24/05/08 14:51:50.98 W+FCqGvO.net
>>798
>ペアノ公理と集合論的パラドックスを回避する方法は
>必ずセットにならなければゲーデル不完全性定理の証明は不可能
一階述語論理上のペアノ算術には、フレーゲの体系も素朴集合論も入ってないが　君、知らんのか？

次ページ

続きを表示

1を表示