There are two different approaches to nonstandard analysis: semantic (model-theoretic) and syntactic (axiomatic). Both of these approaches require some knowledge of mathematical logic. We present a method based on an ...