主題
Search

冪集公理


Zermelo-Fraenkel 公理 之一,它斷言對於任何集合 a 都存在由 x 的所有子集組成的冪集 a。該公理可以用符號表示為

  forall x exists y( forall z(z in y=z subset x))

(Enderton 1977年)。請注意 Itô (1986年,第147頁) 給出的版本,

  forall x exists y(y in x= forall z in y(z in a)),

令人困惑,並且可能不正確。


參見

冪集, Zermelo-Fraenkel 公理

使用 探索

參考文獻

Enderton, H. B. 集合論基礎。紐約:Academic Press,1977年。Itô, K. (編). "Zermelo-Fraenkel 集合論。" §33B in 數學百科詞典,第2版,第1卷。 劍橋,馬薩諸塞州:MIT Press,第146-148頁,1986年。

在 上被引用

冪集公理

引用為

Weisstein, Eric W. "冪集公理。" 來自 網路資源。 https://mathworld.tw/AxiomofthePowerSet.html

主題分類