17. Number and the laws of arithmetic