When applied to a theory that has been fitted to predicate logic, cleared of singular terms, and ncompassed in a finite lot of axioms, this theo rem enables us to express a truth preserving reinterpretation of the pred icates that makes the universe come to consist merely of natural numbers. .