>>638
正則性公理は、空集合Φから構成される全ての集合が、整楚であることを要求するもの
整礎関係の分脈での無限降下列が存在しないという意味だよw(゜ロ゜;