数的推理