Formalizations of the natural numbers have their own representations of 1.