The set 1, 2, 3, … of all natural numbers will be denoted by . There is no need to enter here into philosophical questions concerning the existence of . It will suffice to assume that it is a given set for which the Peano axioms are satisfied. They imply that addition and multiplication can be defined on such that the commutative, associative and distributive laws are valid. Further, an ordering on can be introduced ...