Axiom of empty set
- 空集公理（在集合论中，空集公理是 Zermelo-Fraenkel 集合论的公理之一）
Axiom of empty set
-
abstract:
In axiomatic set theory, the axiom of empty set is an axiom of Kripke–Platek set theory and the variant of general set theory that Burgess (2005) calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo–Fraenkel set theory, with or without the axiom of choice.
以上来源于:
WordNet