1+2是怎么推理出来的1+2