>>423-424
Cardinal Arithmeticは数理論理学と関係ないよ。
そもそも起源が別。
例えばErdosも大量に定理出してるけど、彼はロジックは全く知らなかった。
公理的集合論は基数算術のごく初等的な結果をツールとして使っているだけで、研究対象が違うよ。
一般の集合論研究が基礎論に入るなら、
モデル理論に代数を使うから代数も基礎論ってことになっちゃう。
相当売れてるんだろうな新井の基礎論...