数学吧 关注:843,704贴子:8,586,866
  • 14回复贴,共1

这人说得对吗

只看楼主收藏回复

这人说得对吗


IP属地:上海来自iPhone客户端1楼2019-07-25 03:17回复
    瞎jb扯淡


    IP属地:山东来自Android客户端2楼2019-07-25 04:32
    回复
      名词党


      IP属地:安徽来自Android客户端3楼2019-07-25 06:43
      回复
        这个“任何体系无法在本体系内证明自治”确有其事,但有个例外:
        这个体系本身是不严谨的。
        详见吴军《数学之美》第二版
        注:这只是我记忆中的内容,可能有误。


        IP属地:福建4楼2019-07-25 06:56
        回复
          此外,一会儿能证,一会儿不能我也是第一次见到,醉了醉了……


          IP属地:福建5楼2019-07-25 06:58
          回复
            平面几何完全自洽


            来自Android客户端6楼2019-07-25 07:25
            回复
              瞎扯


              IP属地:陕西来自Android客户端7楼2019-07-25 10:47
              回复
                学了几个名词就来装x的小学生


                IP属地:北京来自Android客户端10楼2019-07-25 18:57
                回复
                  民科


                  IP属地:英国来自Android客户端11楼2019-07-25 19:05
                  回复
                    他错在哪里呢,我该怎么怼他


                    IP属地:上海来自iPhone客户端12楼2019-07-25 19:35
                    回复
                      那要看几进制了


                      来自Android客户端13楼2019-07-25 20:00
                      收起回复
                        只要你引进了自然数,那么1+1=2是可以推导出来的,换言之,只要你承认自然数,那1+1=2就是定理
                        根据皮亚诺公理,某个自然数"+1"这个运算,等价于取这个自然数的后续自然数,因此"1+1"这个运算,即为取自然数"1"的后续,而1的后续是2,因此1+1=2
                        你要否定1+1=2,那么只能放弃自然数体系,比如任取一个特征为2的域,1是域上的单位元,则有1+1=0


                        14楼2019-07-25 22:05
                        收起回复