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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch358:１３２人目の素数さん
24/05/08 09:41:34.00 PVo1n3fi.net
＞素朴集合論ではパラドックス
素朴集合論は型理論の一種
＞公理的集合論ではパラドックスではない
ラッセルの型理論と公理的集合論は実は異なる
知らない君はもぐり

次ページ

続きを表示

1を表示