>>240
ZFじゃないだろ?
「ZFから正則性公理を除いたもの」だろ?
知能指数低すぎWWWWWWW