Nichtstandard-Analyse

Ein strenger Rahmen, der die reellen Zahlen zu einem größeren geordneten Körper (oder Modell) erweitert, der infinitesimale und unendliche Elemente — die Hyperreellen — enthält, und modelltheoretische Werkzeuge (Transferprinzip, interne/externen Unterscheidung, Saturation) verwendet, um infinitesimales Rechnen und Konstruktionen in Analysis und Maßtheorie zu rechtfertigen.