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

>ピエロちゃん、”正則性公理を使わないコース”の証明がんばれぇ〜!(^^
だから言ってるだろ、そんなもんそこら中に転がってると
スレ主が証明を理解できてるかは怪しいがなw