Basic set theory a set is a many that allows itself to be thought of as a one. Then by the axiom schema of comprehension, there is a set bdf x2vw g. Here we are going to see some practice questions on set theory. This note is an introduction to the zermelofraenkel set theory with choice zfc. The axioms of set theory, ordinal and cardinal arithmetic, the axiom of foundation, relativisation, absoluteness, and reflection, ordinal definable sets and inner models of set theory, the constructible universe l cohens method of forcing, independence. Formal set notation description informal english description 2, 4, 6, 8, 10, the set of all positive even integers, 3, 1, 1, 3, the set of all odd integers n. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. An introduction to set theory university of toronto. The purpose of this module is to introduce language for talking about sets, and some. Georg cantor in the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains in predicate logic form sets as well. In mathematics, the notion of a set is a primitive notion. They are not guaranteed to be comprehensive of the material covered in the course. This series of lessons cover the essential concepts of math set theory the basic ways of describing sets, use of set notation, finite sets, infinite sets, empty sets, subsets, universal sets, complement of a set, basic set operations including intersection and union of sets, using venn diagrams and simple applications of sets. The relationship between set inclusion and the above set operations follows.
Free set theory books download ebooks online textbooks. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. For those of you new to abstract mathematics elementary does not mean simple though much of the material. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Describe the following sets in both formal and informal ways. Basic concepts of set theory, functions and relations.
453 1333 392 1170 1488 1431 1573 397 1376 508 513 1670 221 127 252 1240 817 582 515 1034 581 330 1274 936 1116 302 1472 1406 614 1565 369 830 793 1457 506 819 727 1189 903 1010 1139