formalism that provides an axiomatic basis for nonstandard analysis where, rather than adding new elements to the reals, the axiomatic foundations are modified through syntactic enrichment
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?