查看“︁ZFC公理体系”︁的源代码

我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。

# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意x， <math>x \in A</math> 等价于 <math>x \in B</math>
# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> 是一个集合<br />
# 分离公理模式：对于任意集合 <math>S</math> ，和带 <math>n</math> 个参数的公式 <math>\phi (x,p0,p1,p2,p3,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> 是一个集合
# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得任意 <math>x\in S</math> ，任意 <math>y\in x,y\in U</math>
# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A</math> 是 <math>S</math> 的子集等价于 <math>A\in U</math>
# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>S</math> 非空且 <math>x</math> 交 <math>S</math> 为空
# 替代公理：对于任意一个集合 <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> 是一个集合
# 无穷公理：存在无穷集/存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>
# 选择公理：对于任意集合 <math>S</math> ，存在一个选择函数使得 <math>f(S)\in S</math>
我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z
ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。

下面我们将给出一些ZFC允许的集论操作

1.并集 用符号U表述

我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成

2.交集 用符号∩表述

我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成

3.补集/差集

一个集合A关于另一个包含A作为子集的集合S的补集，即为B=｛x∈S：x∉A｝，通过分离公理可以得到

4.笛卡尔积

一个集合A和一个集合B的笛卡尔积A*B被定义为一个新的集合S=｛（a，b）：a∈A∧b∈B｝，这个（a，b）的表示被称为有序对，一个有序对（a，b）要求满足：（a，b）=（c，d）当且仅当a=c且b=d，（a，b）也可以被集论语言描述为｛a，｛a，b｝｝，因此，A*B这个笛卡尔积也可以被描述为A与B的并集取两次幂集之后通过分离公理得到的一个特殊的子集

n多元的多元组被描述为以下形式

（a，b）二元

（a，b，c）=（（a，b），c）三元

（a，b，c，d）=（（（a，b），c），d）四元

以此类推

任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的，A^n表示n个A自行相乘得到的笛卡尔积，我们也称呼A*B的一个子集是在A和B上的一个关系，称A^n的一个子集是在A上的一个n元关系

函数被我们定义为一种特殊的n元关系

根据笛卡尔积的概念，我们提出了range（A）和domain（A）的概念，其中A是一个n+1元关系，domain（A）是全体前n元所构成的集合，range（A）是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域。