Extensionality — The ZFC Path
Node
Extensionality (Axiom) in The ZFC Path. Era: 1908. Origin axiom of path: ZFC axioms (set theory). Modern reach: Modern mathematics foundation.
Extensionality (Axiom) in The ZFC Path. Era: 1908. Origin axiom of path: ZFC axioms (set theory). Modern reach: Modern mathematics foundation.
Canonical: https://axiom.tanaakk.com/lineage/zfc-path/zfc-extensionality/