关于皮亚诺公理的疑问度娘百科上的“皮亚诺公理条目”是:皮亚诺的这五条公理用非形式化的方法叙述如下:Ⅰ 0是自然数;Ⅱ 每一个确定的自然数a,都有一个确定的后继数a' ,a'也是自然
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/26 01:49:30
![关于皮亚诺公理的疑问度娘百科上的“皮亚诺公理条目”是:皮亚诺的这五条公理用非形式化的方法叙述如下:Ⅰ 0是自然数;Ⅱ 每一个确定的自然数a,都有一个确定的后继数a' ,a'也是自然](/uploads/image/z/14941104-24-4.jpg?t=%E5%85%B3%E4%BA%8E%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86%E7%9A%84%E7%96%91%E9%97%AE%E5%BA%A6%E5%A8%98%E7%99%BE%E7%A7%91%E4%B8%8A%E7%9A%84%E2%80%9C%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86%E6%9D%A1%E7%9B%AE%E2%80%9D%E6%98%AF%EF%BC%9A%E7%9A%AE%E4%BA%9A%E8%AF%BA%E7%9A%84%E8%BF%99%E4%BA%94%E6%9D%A1%E5%85%AC%E7%90%86%E7%94%A8%E9%9D%9E%E5%BD%A2%E5%BC%8F%E5%8C%96%E7%9A%84%E6%96%B9%E6%B3%95%E5%8F%99%E8%BF%B0%E5%A6%82%E4%B8%8B%EF%BC%9A%E2%85%A0+0%E6%98%AF%E8%87%AA%E7%84%B6%E6%95%B0%EF%BC%9B%E2%85%A1+%E6%AF%8F%E4%B8%80%E4%B8%AA%E7%A1%AE%E5%AE%9A%E7%9A%84%E8%87%AA%E7%84%B6%E6%95%B0a%2C%E9%83%BD%E6%9C%89%E4%B8%80%E4%B8%AA%E7%A1%AE%E5%AE%9A%E7%9A%84%E5%90%8E%E7%BB%A7%E6%95%B0a%27+%2Ca%27%E4%B9%9F%E6%98%AF%E8%87%AA%E7%84%B6)
关于皮亚诺公理的疑问度娘百科上的“皮亚诺公理条目”是:皮亚诺的这五条公理用非形式化的方法叙述如下:Ⅰ 0是自然数;Ⅱ 每一个确定的自然数a,都有一个确定的后继数a' ,a'也是自然
关于皮亚诺公理的疑问
度娘百科上的“皮亚诺公理条目”是:
皮亚诺的这五条公理用非形式化的方法叙述如下:
Ⅰ 0是自然数;
Ⅱ 每一个确定的自然数a,都有一个确定的后继数a' ,a'也是自然数(数a的后继数a‘就是紧接在这个数后面的整数(a+1).例如,1‘=2,2’=3等等.)
可是仅有这两个公理还不够完整地描述自然数,因为满足这两条的有可能不是自然数系统.比如考虑由 0,1 构成的数字系统,其中1的后继为0.这不符合我们对于自然数系统的期望,因为它只包含有限个数.因此,我们要对自然数结构再做一下限制:
Ⅲ 0不是任何自然数的后继数;
但这里面的漏洞防不胜防,此时仍不能排除如下的反例:数字系统 0,1,2,3,其中3的后继是3.看来,我们设置的公理还不够严密.我们还得再加一条.
Ⅳ如果b、c的后继数都是自然数a,那么b = c;
最后,为了排除一些自然数中不应存在的数(如 0.3),同时也为了满足一会儿制定运算规则的需要,我们加上最后一条公理.
Ⅴ 设S⊆N,且满足2个条件(i)0∈S;(ii)如果n∈S,那么n'∈S.则S是全体自然数的集合,即S=N.(这条公理也叫归纳公理,保证了数学归纳法的正确性)
注:归纳公设可以用来证明0是唯一不是后继数的自然数,因为令命题为“n=0或n为其它数的后继数”,那么满足归纳公设的条件.
若将只考虑正整数,则公理中的0要换成1,自然数要换成正整数.
我对Ⅴ 有疑问,因为我觉得它并不能排除0.3等自然数中不应该出现的数
关于皮亚诺公理的疑问度娘百科上的“皮亚诺公理条目”是:皮亚诺的这五条公理用非形式化的方法叙述如下:Ⅰ 0是自然数;Ⅱ 每一个确定的自然数a,都有一个确定的后继数a' ,a'也是自然
郭敦顒回答:
“数字系统 0,1,2,3,其中3的后继是3.”
3的后继是4,与“0不是任何自然数的后继数;”无关.
你再自检一下个人的思路.