Journal article
STMM: A Set Theory for Mechanized Mathematics
Abstract
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 for Mechanized Mathematics. STMM allows terms to denote proper classes and to be …
Authors
Farmer WM
Journal
Journal of Automated Reasoning, Vol. 26, No. 3, pp. 269–289
Publisher
Springer Nature
Publication Date
April 2001
DOI
10.1023/a:1006437704595
ISSN
0168-7433