11/11/04 20:05:57.67
逆数学が二次的って言われるのは、
ある定理や理論にどの公理がどの程度本質的に効いてくるのか
ってことが分かるってのがメインで、基本的にはそれ自体から
数学のレベルで新しい定理が出てくるってわけじゃない
（メタレベルで数学がより分かるようになるだけ）って意味じゃねーの？
11/11/04 20:05:57.67
逆数学が二次的って言われるのは、
ある定理や理論にどの公理がどの程度本質的に効いてくるのか
ってことが分かるってのがメインで、基本的にはそれ自体から
数学のレベルで新しい定理が出てくるってわけじゃない
（メタレベルで数学がより分かるようになるだけ）って意味じゃねーの？