 Relative consistency of this theory with the usual set theory ZFC is established via familiar results of model theory. Working in this theory makes it possible to use the techniques of nonstandard analysis in a “elementary” way, without ever appealing explicitly to the properties of nonstandard models.