Filosofía de les matemátiques - Intuición matemática - Constructivismu matemáticu - Fundamentos de les matemátiques - Teoría de conxuntos - Subconxuntos floxos - Llóxica simbólica - Llóxica floxa - Teoría de modelos - Teoría de les categoríes - Prueba de los teoremes - Axiomática - Inducción