  We present a dynamic model theory that avoids the paradoxes stemming from
completed infinities, but does not require any translation of formulae. The
main adoption is the replacement of an actual infinite carrier set by a
potential infinite one, and by a finitistic interpretation of the universal
quantifier.
