ABSTRACT

Most mathematicians use set theory in a very naive way, and they would be hard put to define which set theory they use. Most students only have a very limited knowledge of the axioms of this theory. In fact, they get used to its machinery through practice, thanks to the naive interpretation of sets and the famous “g”as “belonging”relation. It is possible to deal with NSA in a quite similar fashion and this chapter interprets the new term “standard” as “classically and uniquely defined”. This interpretation makes obvious the following statements are 0, 1, 103, p, e,. standard numbers. The induction principle holds provided that we take care to apply it to subsets and not classes. In other words, induction applies to classical statements (but not necessarily to NSA statements). There is a limited NSA version of induction that works for all statements P.