Читать книгу Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory - Douglas Cenzer - Страница 9

In this chapter, we review some of the basic notions of set theory and logic needed for the rest of the book. There is a very close connection between the Boolean algebra of sets and the formulas of predicate logic. We will present some aspects of so-called naive set theory and indicate the methods of proof used there as a foundation for more advanced notions and theorems. Topics here will include functions and relations, in particular, orderings and equivalence relations, presented at an informal level. We will return to these topics in a more formal way once we begin to study the axiomatic foundation of set theory. Students who have had a transition course to higher mathematics, such as a course in sets and logic, should be able to go right to the next chapter.