自然数上的运算 ■加法（递归定义） o m+0=m m+n*=(m+n)* ■乘法（递归定义) ▣m*0=0 m*n+=m+m*n 序关系 aa≤biff3ceN.a+c=b自然数上的运算 ◼ 加法（递归定义） ❑ m+0=m ❑ m+n+=(m+n) + ◼ 乘法（递归定义） ❑ m*0=0 ❑ m*n+=m + m*n ◼ 序关系 ❑ ab iff cN. a+c=b