- 722 名前：１３２人目の素数さん mailto:sage [2012/09/11(火) 00:25:30.01 ]
- 実数以外に実関数に関する量化を考えているのだから、
たとえば任意の関数 f が与えられたときに別の関数 g := F(f) が存在してA(f, g)が成り立つ、
（たとえば「任意の連続関数に対してそのフーリエ変換が存在する」とか）、
みたいなものも出て来るわけで、「どんな概念でも」というのはおかしいと思うんだけど。
それに実数値のみに関する量化を考えても、かなり強い形の
選択公理が公理として入っていないと同値にならない。
