El análisis no estándar formaliza las nociones de la aritmética de infinitesimales e infinitos de Leibniz como números hiperreales no estándar.