正則性公理 さて、 なる集合の存在は、Russel の逆理と密接に関係するなど、いろいろと厄介な事情を引き起こします。出来るなら、そのような集合はない方がありがたいものです。そこで、そのような集合が存在しないことを保証するための公理が、正則性公理で…