正則性公理
正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。