Qiaochu_Yuan comments on Standard and Nonstandard Numbers

[Qiaochu_Yuan]

Ah. Right. Somehow I totally forgot about Łoś′s theorem.