12/10/20 13:18:40.26
>>141
クラスという言葉を用いて良いなら有限個の公理に纏めることは可能。
集合についての言及だけしか使えないなら、ZFの公理を
有限個に置き換えることは不可能であることが分かっています。
ZFの公理で無限個あるのは置換公理（または分出公理）だけですから
公理図式という形で定義するしかない、ということになろうかと思います。
集合論の普通の教科書には大抵載っています。
「集合と位相」の教科書じゃないので注意すること。
12/10/20 13:18:40.26
>>141
クラスという言葉を用いて良いなら有限個の公理に纏めることは可能。
集合についての言及だけしか使えないなら、ZFの公理を
有限個に置き換えることは不可能であることが分かっています。
ZFの公理で無限個あるのは置換公理（または分出公理）だけですから
公理図式という形で定義するしかない、ということになろうかと思います。
集合論の普通の教科書には大抵載っています。
「集合と位相」の教科書じゃないので注意すること。