>>909
でも大半の数学屋は初歩で見切りをつけるんだろうよ
大学のカリキュラムが基礎論を冷遇してるし、あまり踏み込んだところまでやりたがらないのでは?