>>89
>＞２階算術とかいっぱいあるでしょ
>　２階算術に置換公理はないよ　知らないの？　ド素人だねえｗ

ど素人が
必死論点ずらし
笑えるぞｗ ；ｐ）

ZFC 1階述語論理とか
基礎論プロにしたら
オワコンもいいところｗｗ

田中 一之先生 >>87 の通り
（下記もね）ｗ ；ｐ）

(参考)
ja.wikipedia.org
田中 一之（1955年8月18日[1] - ）（69歳）は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学[2][3]や不完全性定理の研究で知られる。
弟子には横山啓太(東北大学教授)がいる。
数学基礎論関係の入門書や専門書を多数著し、『現代思想』[9]や『数学セミナー』[14]等の雑誌にも多くの数学随筆を発表している。

researchmap
田中 一之
基本情報
所属東北大学 大学院理学研究科・理学部 数学専攻 教授
学位
Ph.D.(カリフォルニア大学バークレー校)
理学修士(東京工業大学)