STMM: A Set Theory for Mechanized Mathematics

@article{Farmer2001STMMAS,
  title={STMM: A Set Theory for Mechanized Mathematics},
  author={William M. Farmer},
  journal={Journal of Automated Reasoning},
  year={2001},
  volume={26},
  pages={269-289}
}
Although set theory is the most popular foundation for mathematics, not many mechanized mathematics systems are based on set theory. Zermelo–Fraenkel (ZF) set theory and other traditional set theories are not an adequate foundation for mechanized mathematics. STMM is a version of von-Neumann–Bernays–Gödel (NBG) set theory that is intended to be a Set Theory… CONTINUE READING