集合论基础（英文影印版）

　　集合论是数学的一个基本分支，在数学中占据着独特的地位，其基本概念已渗透到数学的所有领域。本书从集合论中最基本的概念开始，循序渐进，深入浅出．主要内容有：公理及运算、关系与函数、自然数、实数的构造、基数与选择公理、秩序与序数、序数与序型等。本书附有大约300道习题。.
　　 本书可作为数学、计算机及其他相关专业本科生教材。...

chapter 1 introduction .
baby set theory 1
sets--an informal view
classes 10
axiomatic method 10
notation 13
historical notes 14
chapter 2 axioms and operations
axioms 17
arbitrary unions and intersections 23
algebra of sets 27
epilogue 33
review exercises 33
chapter 3 relations and functions
ordered pairs 35
relations 39
n-ary relations 41
functions 42
infinite cartesian products 54
equivalence relations 55

　　This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is a necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intriguing results about simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning. .
　　The author of a book always has a preferred manner for using the book: A reader should simply study it from beginning to end. But in practice, the users of a book have their own goals. I have tried to build into the present book enough flexibility to accommodate a variety of goals.The axiomatic material in the text is marked by a stripe in the margin. The purpose of the stripe is to allow a user to deemphasize the axiomatic material, or even to omit it entirely.
　　A course in axiomatic set theory might reasonably cover the first six or seven chapters, omitting Chapter 5. This is the amount of set theory that everyone with an interest in matters mathematical should know. Those with a special interest in set theory itself are encouraged to continue to the end of the book (and beyond). A very different sort of course might emphasizethe set-theoretic construction of the number systems. This course might cover the first five chapters, devoting only as much attention to the axiomatic material as desired. The book presupposes no specific background. It does give real proofs. The first difficult proof is not met until part way through Chapter 4. ..
　　The hierarchical view of sets, constructed by transfinite iteration of the power set operation, is adopted from the start. The axiom of regularity is not added until it can be proved to be equivalent to the assertion that every set has a rank.
　　The exercises are placed at the end of each (or nearly each) section. In addition, Chapters 2, :3, and 4 have "Review Exercises" at the ends of the chapters. These are comparatively straightforward exercises for the reader wishing additional review of the material. There are, in all, close to 300 exercises.
　　There is a brief appendix dealing with some topics from logic, such as truth tables and quantifiers. This appendix also contains an example of how one might discover a proof.
　　At the end of this text there is an annotated list of books recommended for further study. In fact it includes diverse books for several further studies in a variety of directions. Those wishing to track down the source of particular results or historical points are referred to the books on the list that provide specific citations.
　　There are two stylistic matters that require mention. The end of a proof is marked by a reversed turnstile (-I). This device is due to C. C. Chang and H.J. Keisler. In definitions, I generally pass up the traditionally correct "if" in favor of the logically correct "iff" (meaning "if and only if").
　　Two preliminary editions of the text have been used in my courses at UCLA. I would be pleased to receive comments and corrections from further users of the book. ..