Before revision: Then every natural is definable in without parameters.
After revision: numberThen every natural is definable in without parameters.