I – Todo número natural é um número inteiro, isto é, N ⊆ Z.
...
I – Todo número natural é um número inteiro, isto é, N ⊆ Z.
II – O zero é o único número natural que não possui antecessor natural.
III – Se n é um número inteiro, então n possui antecessor e também sucessor.