Overspill
= Overspill
{wiki}
<Overspill> is the principle that an internal subset of a nonstandard extension containing every standard natural number must contain some nonstandard natural number. The <overspill lemma> is its definable-set instance in nonstandard arithmetic.