Desenvolver a teoria axiomática ZFC e fazer uma introdução à teoria dos conjuntos e suas principais aplicações.
Axiomas de ZFC, ordinais, cardinais e tópicos extra.
1. Paradoxos da teoria ingênua dos conjuntos e os axiomas de Zermelo-Faenkel (ZF). 2. Relações, funções de boa-ordem. Ordinais, recursão e indução transfinita. 3. O axioma da escolha, o Lema de Zorn e suas aplicações. 4. Cardinais, aritmética cardinal e teorema de Cantor-Bernstein. 5. Tópicos extra, sendo que pelo menos um dos seguintes deverá ser incluído: a hierarquia dos construtíveis e suas aplicações; a hipótese do contínuo (CH), o axioma de Martin (MA) e suas aplicações; teoria de Ramsey e aplicações; noções de forcing.
C. Ciesielski, SET THEORY FOR THE WORKING MATHEMATICIAN, Cambridge Univ. Press, 1997. K. J. Devlin, THE JOY OF SETS, Springer, 1993. P.R. Halmos, NAIVE SET THEORY, Van Nostrand, 1960. K. Hrbacek, T.J. Jech, INTRODUCTION TO SET THEORY, Marcel Dekker, 1984. K. Kunen, SET THEORY, North-Holland, 1980.