axiom of empty set (Q2045366)

From Wikidata
Jump to: navigation, search
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
edit
Language Label Description Also known as
English
axiom of empty set
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

    Statements

    Identifiers