正則性公理

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