>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒