Proof

By the existence of natural one, we have $x=x\cdot 1$ all $x\in\mathbb N\quad ( * ).$
Suppose, $1^{\ast}$ is any (other) natural number, for which $x=x\cdot 1^{\ast}$ all $x\in\mathbb N\quad ( * * ).$
By $( * )$, we have $1^{\ast}=1^{\ast}\cdot 1.$
Since the multiplication of natural numbers is commutative, we get $1^{\ast}=1\cdot 1^{\ast}.$
By $( * * )$ we get $1^{\ast}=1.$
Thus, the natural number one $1$ is unique.
∎

Thank you to the contributors under CC BY-SA 4.0!