God made the natural numbers; all else is the work of man