>>70
>＞二つのコースがあって
>つまり正則性公理は必要無いってことじゃんｗ　

正則性公理は、公理だから、
ZFCを前提として、それで証明が簡単にできるなら、知っておく方がいいだろう？（＾＾
というか、
一つは、正則性公理を前提としない複雑で長い証明と、
一つは、正則性公理を前提した簡明で短い証明が可能だと、

二つあるなら、両方知っておくべきだろうよ
特に、自然数の性質の基本に関する部分ならね

>スレ主が証明を理解できてるかは怪しいがなｗ

おれは、理解できないかもしれない
でも、それでいいじゃん
このスレを見ている人は、おれだけじゃないからね