>>52
> 2階算術のことじゃないか

「2階算術」が「或る程度の算術＋α」や「割と弱い自然数論」に従うというの？
意味わからん。

>>51
「混同してはいけない」というのは、「別な話として分けて考えて良い」が納得させてからでないとね。
ただの逃げ口上になっちゃうよ。