>>580
>たとえば有界な関数が〜〜と言っただけで、
>（実数論として）Σ2の式が出て来るんだから
「実数論として」の意味が分からんない
実数構造を「素直」に表現した言語を考えたら
「有界な関数が存在して」とかΣ2以前にそもそも論理式で表現できないし