El análisis no-estándar es una formalización rigurosa del cálculo de Leibniz en la que se definen conceptos clave del cálculo mediante infinitesimales, entre otras nociones. Se trata de un análisis menos difundido que ...