3.5.1.1 Natural numbers