What are you looking for?

The uniqueness of the natural numbers