标签: 数学代码推理