Title  A Philosophical Introduction to Set Theory 
Codes  BMVD020.22, BBV020.22, BBNFIL401.54, BMALOTD333.02,
BMILOTD333E.02, BMAFILD401.54, BMILOTD204E.02, BMALOTD204.02 
Lecturer  Mekis Péter 
Time and venue  Tuesday 12:0013:30 I 104 (basement)  first session: February 10! 
Description  This course gives an introduction to the basic concepts and
fundamental theorems of set theory fro the viewpoint of the
foundations of mathematics. We work in the firstorder framework
known as GödelBernays set theory (GB). This system has the same set
universe as its more wellknown akin, ZermeloFraenkel set theory,
supplemented with parametrically definable classes. After developing the hierarchies of the ordinal and cardinal numbers, we discuss some basic consistency results, first proven by Gödel in the framework of GB. 
Literature 

Lecture
notes (last update: February 24) 