>>125
それ思ってるものと違うて感じか
これ↓がホントならこの辺かな
>>126
>実閉体の理論ではどの実数が自然数か判別する述語は構成できないから自然数論を含まない