A
A. Fundações
1. História da matemática e de matemáticos;
2. Epistemologia, fundações e lógica matemática;
3. Teoria de modelos;
4. Teoria de computabilidade e recursão; }5. Teoria dos conjuntos;
6. Teoria da prova;
7. Lógica algébrica;
8. Modelos não-padrão;
9. Problemas clássicos e abertos em Matemática
