正則性公理
正則性公理（せいそくせいこうり、）は、別名基礎の公理（きそのこうり、） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。
Q17736
公理
Concept
Q904423
ZF公理系
Concept
Q17736
公理
Concept
Q18107
1925年
TIME
Q17455
ジョン・フォン・ノイマン
PER
Q179692
選択公理
Concept
Q949972
同値
Concept
Q108163
命題
Concept
Q470981
正則性公理
Concept
95-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1925年
DATE
instance of
instance of
instance of
instance of