Infinity is Not a Size

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.