On the Representation of Natural Numbers in Positional Numeral Systems1
Adam Naumowicz · Formalized Mathematics · 2006
On the Representation of Natural Numbers in Positional Numeral Systems1 In this paper we show that every natural number can be uniquely represented as a base-b numeral. The formalization is based on the proof presented in [11]. We also prove selected divisibility criteria in the base-10 numeral system.