Filosofiya de las matemátikas -- Intuisionismo -- konstruktivismo -- Fundamentos de las matemátikas -- Teoriya de konjuntos -- subkonjuntos difusos o flojos -- Lójika simbólika-- Lójika difusa o floja -- Teoriya de modelos -- Teoriya de las kategoriyas -- Prueba de los teoremas -- Aksiomátika --Induksión