Mathematics MOC

Set theory MOC

The study of the Set

Axiomatic set theories

There are two main approaches to axiomatic set theory: Those based on Substance, and those based on Form.

• Material set theory
  • ZF
  • ZFC
  • NBG
  • TG
  • NFU
  • ML (set theory)
• Structural set theory
  • ETCS

All of these are formulated in 1st-order logic, refer to Conventions of 1st-order logic in these notes.

Link to original

Bibliography

• 2006. Notes on set theory
• 2005. An elementary theory of the category of sets (long version) with commentary
• 2015. Introduction to Mathematical Logic

---

develop | en | sembr | moc