無窮公理
維基百科,自由的
encyclopedia
在
公理化集合論
和使用它的
邏輯
、
數學
和
計算機科學
中,
無窮公理
(英語:
Axiom of infinity
)是
策梅洛-弗蘭克爾集合論
的
公理
之一。
[
1
]