Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/基本公理/19053607
基本公理
鎖定
基本公理(basic axiom) GB系統的集合論公理.指GB系統中的第1組(即A組)公理。
中文名
基本公理
外文名
basic axiom
共有4 條:
任一集合是類.
.作為某個類的元的類是集合.
.有相同元素的兩個類是相等的,即外延公理.
.任給二集x和y,則有一集恰以x和y為元. 這4條公理的符號表達式依次為:
基本公理
GB系統的A組公理(即基本公理)區分了類與集合,約定了兩個類“相等”的含義.基於基本公理,可定義有序對二,y、有序三元組二,y,z等概念.
[1]
參考資料
1.
數學辭海第4卷
詞條統計
瀏覽次數:
次
編輯次數:6次
歷史版本
最近更新:
bkxvpwkernbd
(2024-01-06)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄