(Q740424)

English

axiom of extensionality

axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation

  • axiom of extension

Statements

Identifiers