An elementary variant of nonstandard set theory (Q1100204)

The paper gives an axiomatic system of a theory, similar to set theory, suitable for mathematical research using methods of nonstandard analysis. As far as I know, it is the simplest theory describing nonstandard work in an enlargement of a concrete mathematical structure. For those, who want to use nonstandard methods in their mathematical research and who do not feel familiar in this area, the theory may serve for a checking of correctness. The theory may be used also in an introductory course of nonstandard methods without using the ultrapower construction and without lecturing parts of mathematical logic concerning formal languages. The presented theory has not the character of a fundamental mathematical theory or a theory giving the possibility to compare the properties of various nonstandard procedures. It describes, roughly speaking, the following situation: Construct a saturated enlargement of a given structure. This enlargement understand as the set of urelements and construct the universe by the iteration of powerset operation.