ポスト

集合論とか証明論のガチ勢がどれくらい具体的な順序数を認識してるか、結構気になる。 抽象論で殴る武器が多い分、実例に触れる機会は案外少ないのかもしれない。

メニューを開く

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ