A theory of sets

Print version:

Front Cover; A Theory of Sets; Copyright Page; Contents; Foreword; Preface; Chapter 0. Language and Inference ; Introduction ; Free Variables and Formulas ; Indicial and Accepted Variables ; Rules of Inference; Theorems ; Theory of Notation ; Demonstrations ; Chains; Chapter 1. Logic ; Definitional Axioms for Logic ; Axioms of Definition for Logic ; Axioms for Logic ; Supplementary Rules of Inference ; Chapter 2. Set Theory ; Preliminaries ; Some Aspects of Equality ; Classification ; The Role of Replacement ; Singletons ; Ordered Pairs ; Substitution ; Unicity; Relations; Functions. Ordinals Definition by Induction ; Regularity and Choice ; Maximality ; Well Ordering ; Natural Numbers ; Sequences ; Reiteration ; Fixed Sets and Bipartition ; Equinumerosity ; Cardinals ; Cardinality ; Cardinal Arithmetic ; Direct Extensions ; Families of Sets ; Tuples ; Appendix A. The Construction of Definitions ; The Structure of Basic Forms ; The Structure of Definitions ; Adherence and Translatability ; Appendix B. The Consistency of the Axiom of Size ; Appendix C. Axiomatic Equivalence ; Index of Constants; General Index