正則性公理の知名度

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