axiom of extensionality
(Q740424)
axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation
axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation
Language:
Current Data About
axiom of extensionality
| (P31) |
(Q36191904)
|
||
| (P361) |
(Q3632199)
|
||
| (P2534) |
\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \Rightarrow A = B)
|
||
| (P2579) |
(Q191849)
|
||
| (P6104) |
(Q8487137)
|
other details
| aliases |
axiom of extension |
| description | axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation |
External Links