Set Theory Axioms Using Explication
Abstract
This paper provides a complete suite of axioms for a version of set theory that I call Explication. Explication borrows from the two most prominent existing systems of set theory. Explication starts with class variables. After several steps, some of these class variables are identified as sets. The most crucial step is to identify classes which can explicitly say, in a finite statement, which other classes are its members. The reader is cautioned that the suite of axioms presented is a complete treatment of Explication. Statements which may or may not be true in other axiom systems are not significant.
Cite
@article{arxiv.1709.04142,
title = {Set Theory Axioms Using Explication},
author = {Ernest Akemann},
journal= {arXiv preprint arXiv:1709.04142},
year = {2017}
}
Comments
Typeset onto 6 pages of letter paper, using LaTex on Windows 10. If a reader plans to print the typeset output, it is important to use the highest print quality; 600 BPI works best