Definition:Pure Set Theory

From ProofWiki
Jump to navigation Jump to search


Pure set theory is a system of set theory in which all elements of sets are themselves sets.

Most systems of axiomatic set theory are designed in this way.

Also see

  • Results about pure set theory can be found here.