- 622 名前：１３２人目の素数さん mailto:sage [2012/09/02(日) 19:06:48.95 ]
- 普通に数学（たとえば実解析やらRiemann幾何やら）をするときに
量化の複雑さによって性質を区別したりしない、という発端から来てる話で、
たとえば各点連続は実数値のみに関する∀∃∀の形の量化だとか
そういうことを言っているのに、なんでZFCとか二階算術とかの体系の話にしようとするのさ
ロジックだとよくそういう体系で論理式の複雑さを制限して議論するのは知ってるよ。
でも今はそういう話はしていないし、
個人的には普通の数学者は実解析をやるときに量化の複雑さは気にしないというときに
どの形式体系についての量化の複雑さを考えないのか、という疑問の持ち方がおかしいと思う
