ZFC axioms

Layer 0 — Mathematicsin the logic subtree

Extensionality, pairing, union, power set, infinity, replacement, regularity, choice, separation. Standard foundation; independence of CH, AC from ZF.

Related concepts

Explore ZFC axioms on the interactive knowledge graph →