在集合论中,空集公理是 Zermelo-Fraenkel 集合论的公理之一。常常用它和替换公理模式证明分离公理模式(证明需要排中律),而不把后者当作一条公理。后者和“至少存在一个集合”的假设一起又能推出空集公理。它的表述为:“存在一个集合x,它没有任何元素”。
【空的意思】:空 kōng(ㄎㄨㄥ) (一)、不包含什么,没有内容:空洞(a.没有内容的;b.物体内部的窟窿)。空 详情>
【集的意思】:集 jí(ㄐ一ˊ) (一)、群鸟栖止于树上:“黄鸟于飞,集于灌木”。(二)、聚合,会合:聚集。集合。 详情>
【公的意思】:公 gōng(ㄍㄨㄥ) (一)、正直无私,为大家利益:公正。公心。大公无私。(二)、共同的,大家承认 详情>
【理的意思】:理 lǐ(ㄌ一ˇ) (一)、物质本身的纹路、层次,客观事物本身的次序:心理。肌理。条理。事理。(二) 详情>