hyper-real numbers,
n.
a rigorous formulation of
infinitesimal
real numbers in
non-standard analysis
, based in essence on the
compactness theorem
of
model theory
.
