The Foundations of Mathematics in the Theory of Sets
W. W. Tait, John P. Mayberry · Bulletin of Symbolic Logic · 2002
Preface Part I. Preliminaries: 1. The idea of foundations of mathematics 2. Simple arithmetic Part II. Basic Set Theory: 3. Semantics, ontology and logic 4. The principal axioms and definitions of set theory Part III. Cantorian Set Theory: 5. Cantorian finitism 6. The axiomatic method 7. Axiomatic set theory Part IV. Euclidean Set Theory: 8. Euclidian finitism 9. The Euclidean theory of cardinality 10. The theory of simply infinite systems 11. Euclidean set theory from the Cantorian standpoint 12. Envoi Appendices Bibliography Index.