Systems of set theory

Computing portal

Here is a list of articles in the category Systems of set theory of the Computing portal that unifies foundations of mathematics and computations using computers. In set theory, there are several different Systems of set theory — lists of axioms organized around a concept of what set theory should be. This category is for articles defining those systems. The individual axioms are in another category (see Category:Axioms of set theory).