Analyse Non Standard

Un cadre rigoureux qui étend les réels à un corps ordonné (ou modèle) plus grand contenant des éléments infinitésimaux et infinis — les hyperréels — et qui utilise des outils de théorie des modèles (principe de transfert, distinction interne/externe, saturation) pour fonder le raisonnement infinitésimal et reconfigurer le calcul et certaines constructions de mesure.