Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/替代公理/2325262
替代公理
鎖定
在
公理化集合論
和使用它的
邏輯
、
數學
和
計算機
科學分支中,替代公理模式是 Zermelo-Fraenkel
集合論
的一個公理模式,它本質上斷言一個集合在一個
映射
(
泛函謂詞
)下的像也是一個集合。它對於構造特定的大集合是必需的。
中文名
替代公理
類 別
數學公理
詞條統計
瀏覽次數:
次
編輯次數:6次
歷史版本
最近更新:
胡萝卜素啦
(2023-11-23)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄