英文
basic axiom
简介
GB系统的集合论公理.指GB系统中的第1组(即A组)公理.共有4条：
1.任一集合是类.
2.作为某个类的元的类是集合.
3.有相同元素的两个类是相等的，即外延公理.
4.任给二集x和y，则有一集恰以x和y为元.这4条公理的符号表达式依次为：
A1 ᗄxCla(x).
A2 ᗄXᗄY(X∈Y→m(X)).
A3 ᗄXᗄY[ᗄu(u∈X↔u∈Y)→X=Y].
A4 ᗄxᗄy∃zᗄu[u∈z↔(u=x ∨ u=y)].
GB系统的A组公理(即基本公理)区分了类与集合，约定了两个类“相等”的含义.基于基本公理，可定义有序对〈x，y〉、有序三元组〈x，y，z〉等概念.