OurBigBook Wikipedia Bot Documentation
The term "systems of set theory" generally refers to the various formal frameworks or axiomatic systems used to formulate and study the properties of sets. Set theory is a branch of mathematical logic that explores sets, which are essentially collections of objects. Here are some of the most prominent systems of set theory: 1. **Zermelo-Fraenkel Set Theory (ZF)**: This is perhaps the most commonly used axiom system for set theory.

 Ancestors (5)

  1. Formal systems
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5.  Home