Model approach to nonstandard analysis an the context of axiomatic set theory

In this paper, the model approach to nonstandard analysis is developed on the basis of Zermelo-Fraenkel axiomatic set theory with atoms. The traditional consideration of the standard superstructure V as the primary object of nonstandard analysis is justified. Set-theoretic axioms for the nonstandard system V-* are obtained.