Discutir a questão de ser a teoria dos conjuntos fundamento para a Análise e para as teorias matemáticas em geral. Propiciar ao aluno uma vivência sistemática com o método axiomático, através do desenvolvimento de algumas teorias ZF, KM, NBG.