La noción de infinitesimal puede definirse rigurosamente en el lenguaje de la teoría de los números reales extendidas con el predicado "estándar" (ver más adelante).