Nền tảng toán học, số học