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

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

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch374:１３２人目の素数さん
24/05/08 09:55:17.27 Z7b3zhjA.net
>>355
型理論の定義すら知らない脳障害やべえなwwww
じゃあそこに出てくる型を全て明記してみろ