あと、∈の無限上昇列は、
正則性公理には反しないことは
前スレで議論したけどな