foundational axiom

basic constructions:

material axioms:

axioms of choice:

Whitehead's principle

large cardinal axioms:

strong axioms