Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, and thus, knowledge of set theory is of interest to every mathematician. This book is addressed to all mathematicians and tries to convince them that this intuitive approach to axiomatic set theory is not only possible but also valuable.
The book has two parts. The first one presents, from the sole intuition of "collection" and "object", the axiomatic ZFC-theory. Then, we present the basics of the theory: the axioms, well-orderings, ordinals and cardinals are the main subjects of this part. In all, one could say that we give some standard interpretation of set theory, but this standard interpretation results in a multiplicity of universes.
The second part of the book deals with the independence proofs of the continuum hypothesis (CH) and the axiom of choice (AC), and forcing is introduced as a necessary tool, and again the theory is developed intuitively, without the use of formal logic. The independence results belong to the metatheory, as they refer to things that cannot be proved, but the greater part of the arguments leading to the independence results, including forcing, are purely set-theoretic.
The book is self-contained and accessible to beginners in set theory. There are no prerequisites other than some knowledge of elementary mathematics. Full detailed proofs are given for all the results.
The book has two parts. The first one presents, from the sole intuition of "collection" and "object", the axiomatic ZFC-theory. Then, we present the basics of the theory: the axioms, well-orderings, ordinals and cardinals are the main subjects of this part. In all, one could say that we give some standard interpretation of set theory, but this standard interpretation results in a multiplicity of universes.
The second part of the book deals with the independence proofs of the continuum hypothesis (CH) and the axiom of choice (AC), and forcing is introduced as a necessary tool, and again the theory is developed intuitively, without the use of formal logic. The independence results belong to the metatheory, as they refer to things that cannot be proved, but the greater part of the arguments leading to the independence results, including forcing, are purely set-theoretic.
The book is self-contained and accessible to beginners in set theory. There are no prerequisites other than some knowledge of elementary mathematics. Full detailed proofs are given for all the results.