语义推理和数学推理各有千秋