After the informal exploration of the signed integers as the numbers that make all subtractions possible, we shall define them in a rigorous mathematical form, based on the differences of natural integers, disambigused as equivalence classes of couples of natural integers.