ST reveals how type theory can be made very similar to axiomatic set theory.

This is usually taken as the definition of cardinal number in axiomatic set theory.

This paradox is avoided in axiomatic set theory.

In axiomatic set theory, Shelah cardinals are a kind of large cardinals.

It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics.

In axiomatic set theory, the lozenge refers to the principles known collectively as diamondsuit.

The most widely studied systems of axiomatic set theory imply that all sets form a cumulative hierarchy.

This work has led to the modern formulation of axiomatic set theory.

Today, when mathematicians talk about "set theory" as a field, they usually mean axiomatic set theory.

In the early 20th century, calculus was formalized using an axiomatic set theory.