皮亚诺公理第5条,也就是归纳法公理,为什么能说明数系{0.5、1、2、3、...}不是自然数系也就是说为什么能证明0.5不是自然数.我觉得这个归纳法公理只说明了如何证明一个性质对自然数成立,但
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/14 09:47:35
![皮亚诺公理第5条,也就是归纳法公理,为什么能说明数系{0.5、1、2、3、...}不是自然数系也就是说为什么能证明0.5不是自然数.我觉得这个归纳法公理只说明了如何证明一个性质对自然数成立,但](/uploads/image/z/14655381-69-1.jpg?t=%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86%E7%AC%AC5%E6%9D%A1%2C%E4%B9%9F%E5%B0%B1%E6%98%AF%E5%BD%92%E7%BA%B3%E6%B3%95%E5%85%AC%E7%90%86%2C%E4%B8%BA%E4%BB%80%E4%B9%88%E8%83%BD%E8%AF%B4%E6%98%8E%E6%95%B0%E7%B3%BB%7B0.5%E3%80%811%E3%80%812%E3%80%813%E3%80%81...%7D%E4%B8%8D%E6%98%AF%E8%87%AA%E7%84%B6%E6%95%B0%E7%B3%BB%E4%B9%9F%E5%B0%B1%E6%98%AF%E8%AF%B4%E4%B8%BA%E4%BB%80%E4%B9%88%E8%83%BD%E8%AF%81%E6%98%8E0.5%E4%B8%8D%E6%98%AF%E8%87%AA%E7%84%B6%E6%95%B0.%E6%88%91%E8%A7%89%E5%BE%97%E8%BF%99%E4%B8%AA%E5%BD%92%E7%BA%B3%E6%B3%95%E5%85%AC%E7%90%86%E5%8F%AA%E8%AF%B4%E6%98%8E%E4%BA%86%E5%A6%82%E4%BD%95%E8%AF%81%E6%98%8E%E4%B8%80%E4%B8%AA%E6%80%A7%E8%B4%A8%E5%AF%B9%E8%87%AA%E7%84%B6%E6%95%B0%E6%88%90%E7%AB%8B%2C%E4%BD%86)
皮亚诺公理第5条,也就是归纳法公理,为什么能说明数系{0.5、1、2、3、...}不是自然数系也就是说为什么能证明0.5不是自然数.我觉得这个归纳法公理只说明了如何证明一个性质对自然数成立,但
皮亚诺公理第5条,也就是归纳法公理,为什么能说明数系{0.5、1、2、3、...}不是自然数系
也就是说为什么能证明0.5不是自然数.我觉得这个归纳法公理只说明了如何证明一个性质对自然数成立,但这个公理并没有说一个性质对非自然数就未必不成立.
皮亚诺公理第5条,也就是归纳法公理,为什么能说明数系{0.5、1、2、3、...}不是自然数系也就是说为什么能证明0.5不是自然数.我觉得这个归纳法公理只说明了如何证明一个性质对自然数成立,但
是一个基于书里逻辑的系统,只有一个常量0,没有什么1,2,3,4等等的.
皮亚诺公理可能每个书上说的不一样,但是本质是一样的。
它是一个基于书里逻辑的系统,只有一个常量0,没有什么1,2,3,4等等的。
所谓的1,2,3,4等等自然数,不过是利用0进行后继运算得到的合法的公式,例如,如果把后继运算记作s,那么1可以看做s0,2就是ss0。而所谓的1,2,3,4等,不过是这些公式s0,ss0,...的简写。
所以:要把1,2,3等看做“公式”,而不...
全部展开
皮亚诺公理可能每个书上说的不一样,但是本质是一样的。
它是一个基于书里逻辑的系统,只有一个常量0,没有什么1,2,3,4等等的。
所谓的1,2,3,4等等自然数,不过是利用0进行后继运算得到的合法的公式,例如,如果把后继运算记作s,那么1可以看做s0,2就是ss0。而所谓的1,2,3,4等,不过是这些公式s0,ss0,...的简写。
所以:要把1,2,3等看做“公式”,而不是“数”。
而0.5,根本不是一个合法的公式,不是这个系统里的东西。谈不上系统的“性质”之类的。
收起