19/10/06 20:24:47.04 d8OQiN+r.net
>>181 補足
> さて、集合の概念で、最も便利な性質、すなわち任意に命題 P が与えられたとき、P を満たす x 全体の集合、というものを考えたいのですが、これをそのまま公理にしたのでは、Russellのパラドクスにより矛盾が生じてしまいます。
> そこで、通常の数学で、このような集合を考えたいときには、いつもどのような状況にあるかということを考えると、既に集合であることがわかっている a の元のうち、P を満たすようなもの全体からなる集合、というものを考えていることがわかります。そこで、分出公理：
思うに、分出公理とか置換公理を、あまり強力にして、なんでもできることにすると、
Russellのパラドクスのようなことを生じるおそれがある
だが、分出公理とか置換公理の力を制限すると、
選択公理のように、無限の集合を扱う公理を必要とするということだろうね（＾＾