数学基礎論・数理論理学　その9

＞証明論の研究者ならともかく、集合論やらモデル理論やら
＞再帰理論やらを研究している人間は「数学の基礎」なんて
＞別に意識しちゃいない。
証明論の研究者もウェルカムってことでスレタイに「数学基礎論」入れとけばいいじゃない