24小时热门版块排行榜    

Znn3bq.jpeg
查看: 1047  |  回复: 3
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

柳若风飘

新虫 (小有名气)

[求助] 为什么正式皮亚诺公理的定义是将其定义为一个三元数组呢?不这样定义可以吗?

求解答。。。。。。。。。
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

0404600213

金虫 (正式写手)

引用回帖:
3楼: Originally posted by 柳若风飘 at 2015-11-10 13:10:52
那是百度百科上说,其实就是定义皮亚诺系统为一个三元组<N,S,e>.N是一个集合,S是N到N的函数,e不属于N。。。。。。。。。。。。。。。...

这不是数组……另外e是不在S的值域
S就相当于自然数里面的+1运算,也就是找后继的运算
e相当与自然数里面的0
因为自然数里面0不能是任意数的后继,所以不能在S的值域李
4楼2015-11-10 13:23:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 4 个回答

0404600213

金虫 (正式写手)

恕老夫没有看懂
什么叫正式皮亚罗公理……
2楼2015-11-10 12:30:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

柳若风飘

新虫 (小有名气)

引用回帖:
2楼: Originally posted by 0404600213 at 2015-11-10 12:30:51
恕老夫没有看懂
什么叫正式皮亚罗公理……

那是百度百科上说,其实就是定义皮亚诺系统为一个三元组<N,S,e>.N是一个集合,S是N到N的函数,e不属于N。。。。。。。。。。。。。。。
3楼2015-11-10 13:10:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 有没有学校材料专业收跨调(一志愿085410) +7 momo(上岸版) 2026-04-06 10/500 2026-04-13 08:35 by lhj2009
[考研] 277求调剂 +23 倪建设 2026-04-06 23/1150 2026-04-13 00:40 by 王童子龙
[考研] 一志愿双非085400电子信息344 求调剂,对材料和化学方向也感兴趣 +11 无情的小羊 2026-04-09 12/600 2026-04-12 17:41 by 686666
[考研] 313求调剂 +5 余摆摆是大哥 2026-04-11 5/250 2026-04-12 10:34 by 猪会飞
[考研] 085410-273求调剂 +6 X1999 2026-04-10 6/300 2026-04-11 10:32 by Delta2012
[考研] 293求调剂 +6 勇远库爱314 2026-04-08 6/300 2026-04-11 10:08 by zhq0425
[考研] 求调剂 +13 雪逢冬 2026-04-10 13/650 2026-04-11 09:58 by 猪会飞
[考研] 本科211 工科085400 280分求调剂 可跨专业 +11 LZH(等待调剂中 2026-04-10 11/550 2026-04-11 08:39 by zhq0425
[考研] 本科西工大 324求调剂 +4 wysyjs25 2026-04-10 4/200 2026-04-10 20:00 by 来看流星雨10
[考研] 中科院总分315求调剂 +8 lallalh 2026-04-09 8/400 2026-04-10 19:30 by dick_runner
[考研] 298求调剂 +13 钉叮咚冬瓜 2026-04-09 13/650 2026-04-10 15:49 by jiajinhpu
[考研] 282,电气工程专业,求调剂,不挑专业 +9 jggshjkkm 2026-04-10 9/450 2026-04-10 14:55 by 逆水乘风
[考研] 292求调剂 +9 笑笑袁 2026-04-09 9/450 2026-04-10 10:05 by LHGeng
[考研] 一志愿华工085600 331分 +6 天下ww 2026-04-09 6/300 2026-04-09 18:59 by l_paradox
[考研] 一志愿厦大生物学332求调剂 +10 池池池池池池 2026-04-08 10/500 2026-04-09 17:10 by 独醉梦孤城
[考研] 085400电子信息类(川大控制工程)求调剂可跨专业 求老师联系 +3 626776879 2026-04-08 3/150 2026-04-09 16:05 by 猪会飞
[考研] 328求调剂 +17 lftmya 2026-04-07 18/900 2026-04-09 08:05 by 5268321
[考研] 求调剂,现在还能填的 +3 上岸小莹加油 2026-04-08 3/150 2026-04-08 14:30 by zhq0425
[考研] 275 求调剂 +8 Lei812514 2026-04-07 8/400 2026-04-08 12:46 by chemisry
[考研] 265求调剂 +19 小木虫085600 2026-04-06 21/1050 2026-04-08 10:38 by 逆水乘风
信息提示
请填处理意见