English Wikipedia - The Free Encycl...
Download this dictionary
Axiom of empty set
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License