axiome de l'ensemble vide
axiom of Kripke–Platek set theory and the variant of general set theory that Burgess calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo–Fraenkel set theory, with or without the axiom of choice