Title 
Set Theory 
Lecturer 
Péter Mekis 
Codes 
BBNFIL401.11, BMAFILD401.1, BMALOTD203.2, BMILOTD203E.2 
Time 
Friday 12:0013:30 
Venue 
i 109 (basement) 
Prerequisites 
The course assumes some familiarity with the basic concepts and methods of standard firstorder logic. 
Description 
The course provides a philosophical introduction to set theory.
The lectures will cover the following topics:
 informal introduction to Cantor's paradise;
 naive set thory as a formal system: the classical paradoxes;
 the axioms of GödelBernays set theory;
 a reconstruction of the natural numbers;
 wellordered classes;
 ordinal numbers;
 the axiom of choice;
 cardinal numbers;
 finitization of the axiom system;
 Gödel's constructible universe.
The topics may change during the course, in accordance with student demand.

Literature 
 Lecture notes (uploaded during the course)
 Smullyan, R.and Fitting, M.,
Set Theory and the Continuum Problem.
Oxford UP, 1996.
 Mendelson, E.,
Introduction to Mathematical logic .
4th ed. Springer, 1997.
