正則性公理
維基百科,自由的 encyclopedia
正則公理(也叫做基礎公理)是 Zermelo-Fraenkel 集合論的公理之一。在一階邏輯中,這個公理可敘述如下:
翻譯為較容易理解的說法就是:
從這個公理可得出兩個結果,其一為「不存在以自身為元素的集合」,其二為「沒有無限序列 an 使得對於所有 i,ai+1 是 ai 的元素」。
通過選擇公理可以證明後者的逆命題也成立:如果這樣的無限序列不存在,則正則公理為真。所以在假定選擇公理的情況下,兩個陳述是等價的。
正則公理被認為是Zermelo-Fraenkel 集合論中應用最少的公理,因為數學分支中的所有關鍵性結果都可用集合論中的其他公理證明得到。另外,不包含正則公理的康托的集合論,實際上假定了以自身為一個元素的集合的存在。