Hola, acabo de echar un vistazo a tu página de MathOverflow y he visto que estás interesado en "argumentos espaciales y visuales". Así que te digo algo más (que no has pedido):
También existe otra versión de análisis con nilpotente infinitesimales, es decir, elementos que no son cero, pero alguna potencia de los cuales es cero. En la lógica clásica esto contradice los axiomas de campo, pero en la lógica intuicionista se puede hacer. J.L. Bell Cartilla de Anlisis Infinitesimal desarrolla el análisis básico sobre estas bases, asumiendo (axiomáticamente) que se tiene algo así como los números reales con nilpotentes. Las demostraciones se vuelven mucho más fáciles incluso que en el Análisis No Estándar. Sólo en un apéndice aborda la existencia de modelos para sus axiomas - viven en topos.
Como se expone muy bien en el prefacio de "Models for Smooth Infinitesimal Analysis" de Moerdijk/Reyes, son estos infinitesimales los que utilizaron (implícitamente) los geómetras clásicos como Cartan, y los que utilizan (implícitamente) los físicos hasta hoy. Ilustran su punto con una prueba visual del teorema de Stokes utilizando nilpotentes.
En los entornos de Moerdijk/Reyes (que son ciertas topos) también existen números reales que combinan los dos tipos de infinitesimales, nilpotentes e invertibles.