File:MathFoundations155 The realm of natural numbers