Set theory and logic PDF
Preview Set theory and logic
SET THEORY AND LOGIC SET THEORY AND LOGIC by Robert R. Stoll Cle;laixi State University Dover Publications, Inc. NewYork Copyright Copyright (0 1961, 1963 by Robert R. Stoll. All rights reserved. Bibliographical Note This Dover edition, first published in 1979, is an unabridged and corrected republication of the work originally published in 1963 by W H. Freeman and Company. International Standard Book Number ISBN-13: 978-0-486-63829-4 ISBN-10: 0-486-63829-4 Library of Congress Catalog Card Number 79-87812 Manufactured in the United States by Courier Corporation 63829412 To Kurt, Nancy, and David PREFACE This book is an outgrowth of a course which I have developed at Oberlin College for advanced undergraduates. The purpose of the course is to introduce students to the foundations of mathematics, to give them initial training in the axiomatic method in mathematics, and to provide them with the necessary tools to cope successfully with graduate level courses having an abstract and axiomatic orientation. It may be in- ferred that as I use the term "foundations of mathematics" I under- stand it to mean an analysis of fundamental concepts of mathematics, intended to serve as a preparation for studying the superstructure from a general and unified perspective. The book contains adequate material for any one of a variety of one- year upper undergraduate courses with a title resembling "Introduction to Foundations of Mathematics." That is, there is sufficient material for a year's course in which the instructor chooses to emphasize the construc- tion of standard mathematical systems, or the role of logic in connection with axiomatic theories, or, simply, mathematical logic. Further, by focusing attention on certain chapters, it can serve as a text for one- semester courses in set theory (Chapters 1, 2, 5, 7), in logic (Chapters 1, 4, 5, 6, 9), and in the development of the real number system (Chap- ters 1, 2, 3, 5, 8). The book has been organized so that not until the last chapter does symbolic logic play a significant role. Most of the material presented might be described as the mathematics whose development was directly stimulated by investigations pertaining to the real number system. That is, the development and the study of the real number system serve as the underlying theme of the book. I will elaborate on this statement after outlining the contents. Chapter 1 is an introduction to so-called intuitive set theory. Along with the algebra of sets the theory is developed to the point where the notion of a relation can be defined. The remainder of the chapter is concerned with the special types of relations called equivalence rela- tions, functions, and ordering relations. Sufficient examples and exercises are provided to enable the beginner to assimilate these concepts fully. Chapter 2 begins with a discussion of a type of system (an "integral system") which incorporates several features of the natural number vii viii Preface sequence, as this notion is understood intuitively. Once it is proved that there is essentially only one integral system, we take as our definition of the natural number system some one integral system. After the arith- metic of this system is developed, careful consideration is given to both definition and proof by induction. There follows an account of Cantor's theory of cardinal and ordinal numbers. In Section 8 is introduced the remaining principle of intuitive set theory, the axiom of choice, along with several equivalent propositions. In Section 9, with the aid of the axiom of choice, the arithmetic of infinite cardinals is reduced to a triviality. Section 10 is devoted to propositions of a different kind which are equivalent to the axiom of choice. Finally, in Section 11, the classical paradoxes (that is, bona fide contradictions) of intuitive set theory are described. In Chapter 3 the natural number sequence is extended to the real number system via the integers and the rational numbers, with Cauchy se- quences being used in the extension of the rationale to the reals. Repeti- tious details have been cut to a minimum in the hope of relieving the boredom of this essential chapter. Chapter 4 is devoted to an intuitive exposition of symbolic logic. The simplest [)art of the classical variety of this subject, the statement cal- culus, is treated in some detail. Although the much more comprehensive system, the first-order predicate calculus, is barely more than outlined, by following the same pattern as that employed for the statement cal- culus, it is hoped that the exposition will be intelligible. Probably every serious student of mathematics should understand symbolic logic to the extent it is presented here, if only to be able to take advantage of its symbolism and know how to form the negation of "the function f is con- tinuous at x = a" in a mechanical way. Chapter 5 consists of an exposition of the axiomatic method, the notion of an axiomatic theory, and related topics as they are encountered in everyday mathematics. It is only the italicized qualification that justifies the inclusion of this chapter. For in view of the tremendous accomplish- ments in the area of the foundations of mathematics in recent years, this chapter is antiquated. An introduction to modern investigations appears in Chapter 9. Chapter 6 contains the first full-blown development of an axiomatic theory. The theory that we have chosen for our prime example, that of Boolean algebras, is easily susceptible, of investigation. Moreover, as we show in the latter part of the chapter, it has close connections with some of the logic discussed earlier. Preface ix In Chapter 7 the Zerrnelo-Fracnkel theory of sets is outlined. In the last section contact is made with another well-known axiomatization of classical set theory-that due to von Neurnann. Zerinelo-Fraenkcl set theory was chosen for exposition because its development closely parallels that of intuitive set theory. However, for transfinite arithmetic the von Neumann theory of ordinal and cardinal numbers (which can be ini- bedded in every suitable axiolnatization of set theory) was selected be- cause of its elegance. In Chapter 8 several axiomatic theories which fall within the realm of modern algebra are introduced. The primary purpose is to enable us to give self-contained characterizations in turn of the system of integers, of rational numbers, and, finally, of real numbers. This is clone in the last three sections of the chapter. Finally, there is Chapter 9, which is an introductory account of rela- tively recent investigations of the foundations of mathematics. A dis- tinctive feature of the modern approach is the explicit incorporation of a theory of logic into an axiomatic theory. We restrict our attention to so-called first-order theories, that is, those axiomatic theories for which the predicate calculus of first order provides a logical base. Sections 4-7 give a rigorous account for first-order theories of the material discussed at the intuitive level in Chapter 5. Much of this has been available here- tofore only in more technically formidable accounts. In Sections 8-10 we round out our discussion of the. axiomatic method with the prescnta-, tion of three famous theorems about formal axiomatic mathematics. One of these, obtained by Alonzo Church in 1936, asserts that there is no automatic procedure for deciding whether an arbitrary formula of (an axioinatizccl version of) the predicate calculus of first order is a theorem. One of the other two theorems (both obtained by Kurt Godel in 1931) asserts that a sufficiently rich formal system of arithmetic, if consistent, contains a statement which is neither provable nor refutable. The last asserts that if such a system of arithmetic is consistent, then it is impossible to prove just that. Our account of these theorems is neither self-contained nor rigorous, but, we believe, adequate for the reader to gain an understanding of their meaning and significance. In defense of such an approach we shall say only that we believe this coverage will meet the needs of most stu- dents: Those who desire a complete and rigorous account must be pre- pared to spend a considerable amount of time in mastering a variety of technical details. We conclude our outline of the contents by substantiating an earlier
The list of books you might like
