外延性公理

此外,外延性的公理,这组X是唯一由ϕ(x)。一个缺陷在弗雷格的系统是由罗素发现,他指出一些显而易见的矛盾涉及包含自己elements-e.g集。通过ϕ(x)¬(x∊x)。罗素说明通过…

…的原则被称为外延性的原则。一个类没有成员,如类无神论的教皇,据说是null。因为所有这些类的成员是相同的,只有一个空类,因此通常被称为的零类(或…

…通过所谓的原则extension-a集是由其成员而不是任何特定的方式来描述一组。因此,集一个和B相等当且仅当每一个元素一个也在B和每一个元素B是在…

…几个更严格的公理:

ZFC公理”扩展”中传达着这样一个观点,在天真的集合理论,确定一组完全由它的成员。应该注意的是,这不仅仅是逻辑上必要的财产的平等,而是一个假设的成员关系。