Model Approach to Nonstandard Analysis in 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.