[Revised entry by Joan Bagaria on January 31, 2023.
Changes to: Main text, Bibliography, ZF.html]
Set theory is the mathematical theory of well-determined collections, called sets, of objects that are called members, or elements, of the set. Pure set theory deals exclusively with sets, so the only sets under consideration are those whose members are also sets. The theory of the hereditarily-finite sets, namely those finite sets whose elements are also finite sets, the elements of which are also finite, and so on, is formally equivalent to arithmetic. So, the essence of set theory is the study of infinite…

Originally appeared on Stanford Encyclopedia of Philosophy Read More