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