主題
Search

無窮公理

關於 策梅洛-弗蘭克爾集合論 的公理，它斷言存在一個包含所有自然數的集合，

exists x(emptyset in x ^ forall y in x(y^' in x)),

其中 exists 表示 存在，emptyset 是空集， ^ 是邏輯 與， forall 意思是 對於所有，並且 in 表示 “是...的元素” (Enderton 1977)。 按照馮·諾伊曼的觀點，0=emptyset, 1=0^'={0}, 2=1^'={0,1}, 3=2^'={0,1,2}, ....

另請參閱

策梅洛-弗蘭克爾集合論

使用 探索

參考文獻

Enderton, H. B. 集合論基礎. New York: Academic Press, 1977.Itô, K. (Ed.). "策梅洛-弗蘭克爾集合論。" §33B in 數學百科詞典，第二版，第 1 卷。 Cambridge, MA: MIT Press, pp. 146-148, 1986.

在 中被引用

無窮公理

請引用為

Weisstein, Eric W. “無窮公理。” 來自 —— 資源。 https://mathworld.tw/AxiomofInfinity.html

主題分類