注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
フェミニズムの分類が多すぎると聞いて anond:20251020210124 0. 基礎・横断集合論 公理的集合論(ZFC, ... フェミニズムの分類が多すぎると聞いて anond:20251020210124 0. 基礎・横断集合論 公理的集合論(ZFC, ZF, GCH, 大きな基数) 記述集合論(Borel階層, Projective階層, 汎加法族) 強制法(フォーシング), 相対的一致・独立性 数理論理学 述語論理(完全性定理, コンパクト性) モデル理論(型空間, o-極小, NIP, ステーブル理論) 証明論(序数解析, カット除去, 直観主義論理) 再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性) 圏論 関手・自然変換, 極限/余極限 加群圏, アーベル圏, 三角圏, 派生圏 トポス論, モナド, アジュンクション 数学基礎論・哲学 構成主義, 直観主義, ユニバース問題, ホモトピー型理論(HoTT) 1. 代数学群論 組み合わせ群論(表示, 小石定理, 自由群) 代数群/リー群(表現
2025/10/21 リンク