Nonstandard Evaluation is referred to as “nonstandard†mainly because it was inspired by Thoralf Skolem’s demonstration in 1933 in the existence of types of to start with-order arithmetic that are not isomorphic for the common design of arithmetic. What can make them nonstandard is very which they comprise infinitely large (hyper