Trabaja con completitud de los reales, sucesiones, continuidad, derivación e integración desde definiciones rigurosas. Da una base sólida para justificar el cálculo y detectar argumentos que solo parecen correctos.