Las identidades anteriores son perfectamente formalizables en el análisis no estándar asociado a los números hiperreales.