Análise sistemática do método axiomático e suas aplicações na geometria, aritmética, álgebra, etc. A teoria dos conjuntos como fundamentação e como linguagem da matemática. A noção de estrutura em matemática. Programas fundacionais do século xx: logicismo, formalismo e intuicionismo.
