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). Deste modo, abordar-se-á a construção das principais estruturas da matemática (os números naturais e a reta real) assim como 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. 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.