Descrição:

Introduzir o aluno aos conceitos fundamentais da teoria dos conjuntos, assim como à fundamentação da matemática por via da axiomática de Zermelo-Fraenkel (com o axioma da escolha). Abordar-se-ão certos princípios típicos da teoria dos conjuntos (p. ex., indução e recursão transfinita, ordinais, aléfes, etc.) e a hierarquia cumulativa. Também se esboçará a formalização das principais estruturas da matemática (os números naturais, racionais e a reta real) em ZFC. Depois desta disciplina opcional, o aluno está apto a enveredar para estudos mais avançados (metateoréticos) em teoria dos conjuntos e/ou para estar à vontade e a par de certos temas dos fundamentos da matemática.