19/03/08 15:32:40.86 HVq5OYm0.net
>>70
>＞二つのコースがあって
>つまり正則性公理は必要無いってことじゃんｗ
正則性公理は、公理だから、
ZFCを前提として、それで証明が簡単にできるなら、知っておく方がいいだろう？（＾＾
というか、
一つは、正則性公理を前提としない複雑で長い証明と、
一つは、正則性公理を前提した簡明で短い証明が可能だと、
二つあるなら、両方知っておくべきだろうよ
特に、自然数の性質の基本に関する部分ならね
>スレ主が証明を理解できてるかは怪しいがなｗ
おれは、理解できないかもしれない
でも、それでいいじゃん
このスレを見ている人は、おれだけじゃないからね