This is all true, assuming one uses a standard model for the integers. Non-standard models[1] are more interesting, but I'm not sure if one could say anything a

This is all true, assuming one uses a standard model for the integers. Non-standard models[1] are more interesting, but I'm not sure if one could say anything about the number of digits of a non-standard number. [1] http://en.wikipedia.org/wiki/Non-standard_model_of_arithmetic http://en.wikipedia.org/wiki/Non-standard_model_of_arithmeti...