The ZFC Path

Overview

The ZFC Path traces from ZFC axioms (set theory) to Modern mathematics foundation. Density: extremely high.

Nodes

• Extensionality
• Empty set
• Pairing
• Union
• Power set
• Infinity
• Separation
• Replacement
• Regularity
• Axiom of Choice
• Fraenkel's foundations (1925)
• Fraenkel's axiomatic well-ordering
• Fraenkel's transfinite cardinals
• Fraenkel's Abstract Set Theory

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People