20/03/21 18:08:45.32 XWnhFsyt.net
>>558
数えきれる：集合として存在する
つまり集合論におけるクラスは「数え切れない」
無限公理を採用しない集合論だと、君の>>555の定義と一致する
つまり、拡張だな
20/03/21 18:08:45.32 XWnhFsyt.net
>>558
数えきれる：集合として存在する
つまり集合論におけるクラスは「数え切れない」
無限公理を採用しない集合論だと、君の>>555の定義と一致する
つまり、拡張だな
20/03/21 18:08:45.32 XWnhFsyt.net
>>558
数えきれる：集合として存在する
つまり集合論におけるクラスは「数え切れない」
無限公理を採用しない集合論だと、君の>>555の定義と一致する
つまり、拡張だな