词语空集公理的详细解释,空集公理的拼音及基本释义

空集公理

【词语拼音】kōng jí gōng lǐ

【词语繁体】空集公理

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
在集合论中,空集公理是 Zermelo-Fraenkel 集合论的公理之一。常常用它和替换公理模式证明分离公理模式(证明需要排中律),而不把后者当作一条公理。后者和“至少存在一个集合”的假设一起又能推出空集公理。它的表述为:“存在一个集合x,它没有任何元素”。