>>87
>2階算術とかいっぱいあるでしょ
 2階算術に置換公理はないよ 知らないの? ド素人だねえw