基本公理

基本公理(basic axiom) GB系統的集合論公理.指GB系統中的第1組(即A組)公理。

共有4 條:

1. 任一集合是類.
   
2. .作為某個類的元的類是集合.
   
3. .有相同元素的兩個類是相等的，即外延公理.
   
4. .任給二集x和y，則有一集恰以x和y為元. 這4條公理的符號表達式依次為:
   

GB系統的A組公理(即基本公理)區分了類與集合，約定了兩個類“相等”的含義.基於基本公理，可定義有序對<二，y)、有序三元組<二，y,z)等概念.