 We present a system of this kind, a version of the set theory IST (Internal Set Theory) of Nelson (1977). The primitives of the theory are equality, membership, and a primitive notion of standardness. The axioms follow.