…, −3, −2, −1, 0, 1, 2, 3, …
The integers are rigourously defined via proof_by_induction. You start with one, then inductively add 1 to find new numbers.
wood