欢迎您光临机械网,如有问题请及时联系我们。

公理系统

为什么ZF公理系统要包含空集定理?

所谓,空集定理,就是:空集公理:存在一个不含任何元素的集合,即,?X?u(u?X)根据ZFC公理体系中的,(1)外延公理(AxiomofExtensionality):如果X和Y拥有相同的元素,则X与Y相等,即,?u(u∈X?u∈X)→X=Y我们可确定所有空集合都相等,也就是说空集唯一,我们将这个唯一的空集记为?......