>>588
普通の数学の定理で正則性公理が必要なものはあるの?
必要性のないものを無条件に前提として受け入れろというのはおかしくない?