複製鏈接
請複製以下鏈接發送給好友

基本公理

鎖定
基本公理(basic axiom) GB系統的集合論公理.指GB系統中的第1組(即A組)公理。
中文名
基本公理
外文名
basic axiom
共有4 條:
  1. 任一集合是類.
  2. .作為某個類的元的類是集合.
  3. .有相同元素的兩個類是相等的,即外延公理.
  4. .任給二集x和y,則有一集恰以x和y為元. 這4條公理的符號表達式依次為:
基本公理 基本公理
GB系統的A組公理(即基本公理)區分了類與集合,約定了兩個類“相等”的含義.基於基本公理,可定義有序對二,y、有序三元組二,y,z等概念. [1] 
參考資料
  • 1.    數學辭海第4卷