Simone
加法结合律：
65＋29＋71
143＋(57＋26)
135＋267＋65
11＋12＋13＋39＋38＋37
(1+2)+3=1+(2+3)=6
(1+5)+6=1+(5+6)=12
(1+6)+7=1+(6+7)=14
含义：
要证明(m+n)+k=m+(n+k)对k进行归纳
k=0，由加法定义得(m+n)+0=m+n和m+(n+0)=m+n, 因此结合律对k=0成瞎兆立
假设结论对k成做漏立, 即(m+n)+k=m+(n+k)下证结纯神烂论对S(k)成立
由加法定义可得: (m+n)+S(k)=S((m+n)+k)
以及m+(n+S(k))=m+S(n+k)=S(m+(n+k))
又由归纳假设(m+n)+k=m+(n+k)
因此S((m+n)+k)=S(m+(n+k))
故(m+n)+S(k)=m+(n+S(k))
