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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch850:１３２人目の素数さん
24/05/08 15:21:22.42 W+FCqGvO.net
>>822
名前はどうでもいい　何を型というかだけの話
すべてが１つの型に属するという型理論があっても
それはそれで別に構わない

次ページ