Nonstandard Analysis

Wikipedia

References