A monograph containing a historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernays’ independent presentation of a formal system of axiomatic set theory. No special knowledge of set thory and its axiomatics is required. With indexes of authors, symbols and matters, a list of axioms and an extensive bibliography.
Axiomatic Set Theory by Patrick Suppes By means of the Zermelo-Fraenkel system, Suppes provides best treatment of axiomatic set theory on upper undergraduate and graduate levels. Topics include relations and functions, equipollence, finite sets and cardinal numbers, rational and real numbers, more
Set Theory and Logic by Robert R. Stoll Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.
Introduction to the Theory of Sets by Joseph Breuer, Howard F. Fehr This undergraduate text develops its subject through observations of the physical world, covering finite sets, cardinal numbers, infinite cardinals, and ordinals. Includes exercises with answers. 1958 edition.
The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise by Mary Tiles Beginning with perspectives on the finite universe and classes and Aristotelian logic, the author examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory, and more.
Set Theory and the Continuum Hypothesis by Paul J. Cohen This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The award-winning author employs intuitive explanations and detailed proofs in this self-contained treatment. 1966 edition. Copyright renewed 1994.
The Axiom of Choice by Thomas J. Jech Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
