一、集合论公理　　 　　下面介绍ZF公理系统，它包括10条集合论公理，下面依次介绍这10条公理, 然后重点说明其中几条。对每条公理都给出一阶谓词公式，论域包含所有集合。 　　(1) 外延公理 　　(2) 空集合存在公理 　　(3) 无序对集合存在公理 　　(4) 并集合公理 　　(5)子集公理模式(分离公理模式) 　　(6)幂集公理 　　(7)正则公理 　　(8)无穷公理 　　(9)替换公理模式 　　(10)选择公理