Análisis No Estándar

Un marco riguroso que extiende los números reales a un campo (o modelo) ordenado mayor que contiene elementos infinitesimales e infinitos — los hiperreales — y que utiliza herramientas de teoría de modelos (principio de transferencia, distinción interno/externo, saturación) para justificar el razonamiento infinitesimal y rehacer construcciones de cálculo y medida.