陶哲轩实分析吧 关注:165贴子:534
  • 6回复贴,共1

请教如何证明自然数相等其后继数也相等

只看楼主收藏回复



来自手机贴吧1楼2016-11-05 13:52回复
    看我置顶贴的勘误


    IP属地:湖北来自Android客户端2楼2016-12-05 03:28
    收起回复
      2025-05-23 09:44:59
      广告
      自然数加法是一个归纳定义,0+m=m是归纳基


      IP属地:北京3楼2024-03-09 18:09
      回复
        另外,两个自然数相等,则后继也相等,是从后继的定义得出来的


        IP属地:北京4楼2024-03-09 18:10
        回复
          也就是说,如果a=b,但是a++!=b++的话,就违反了后继运算的定义了,等于说3++!=3++


          IP属地:北京5楼2024-03-09 18:12
          回复