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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch539:１３２人目の素数さん
24/05/08 12:11:32.45 BBjhKMzB.net
＞型の区別がない高階述語論理なんて普通にあるけど
　もしかして「型がないから矛盾する　型をつければ矛盾しない」と言ってる？

次ページ

続きを表示

1を表示