La rama de la matemática incluye axiomas, teoremas y demostraciones. Explora diferentes áreas como geometría proyectiva, geometría analítica, análisis matemático, geometría diferencial y geometría euclidiana y no euclidiana, aunque algunas solo se usan para aplicaciones prácticas y no como herramientas teóricas.