> I also think NSA has a naming problem. By its very name, how can it ever be standard? "Nonstandard" isn't referring to how people view the field, but to addi

> I also think NSA has a naming problem. By its very name, how can it ever be standard? "Nonstandard" isn't referring to how people view the field, but to additional elements you add to the model. Just to throw out a weird example, here's Edward Nelson's text on the subject: https://web.math.princeton.edu/~nelson/books/1.pdf https://web.math.princeton.edu/~nelson/books/1.pdf "Theorem 4. There is a finite set that contains every standard object." That is, in Nelson's system, the set of standard natural numbers is finite. That finite number is a nonstandard natural number, larger than any standard natural number. Mixing "nonstandard"(in the sense of an undefined predicate added to the base logic) with "nonstandard"(in the sense of some professors thinking it's weird) is a type error.