Fraenkel's foundations (1925) — The ZFC Path
Node
Fraenkel's foundations (1925) (Theorem) in The ZFC Path. Era: 1925. Origin axiom of path: ZFC axioms (set theory). Modern reach: Modern mathematics foundation.
Fraenkel's foundations (1925) (Theorem) in The ZFC Path. Era: 1925. Origin axiom of path: ZFC axioms (set theory). Modern reach: Modern mathematics foundation.
Canonical: https://axiom.tanaakk.com/lineage/zfc-path/fraenkel-1925-foundations/