>>84
(引用開始)
> ZFCは、多くの基礎論以外の数学者がやっている数学研究には役立たない
> その大きな原因の一つが、ZFCの一階述語論理限定だろう
　原因は見当違い　素人はわけもわからず平気で口から出まかせをいう　ひろゆきかｗ
　単純に置換公理が強すぎるだけのこと
(引用終り)

おサルさんさー
君が、数学科でオチコボレたのは、1980年代だろ？
君の その知識は、もう古いよ ；ｐ）

例えば、下記の田中 一之先生のサイトの
文献を見なさい
２階算術とかいっぱいあるでしょｗ ；ｐ）

(参考)
http://www.math.tohoku.ac.jp/~tanaka/publications.html
田中 一之　　Kazuyuki Tanaka

最近の著書
逆数学と２階算術（単著，河合文化教育研究所）1997
２階算術の諸体系の研究（編著，京大数理解析研講究録 No.1096）1999
数の体系と超準モデル（単著，裳華房，266頁+ xviii） 2002

その他，日本語の論文
２階算術の諸体系ーモデル論的手法による分析ー その３, 京大数理解析研講究録 976 (1997) 77-85.
２階算術と有界選択公理(共著), 京大数理解析研講究録 1096 (1999) 84-88.