24小时热门版块排行榜    

Znn3bq.jpeg
汕头大学海洋科学接受调剂
查看: 1050  |  回复: 3

柳若风飘

新虫 (小有名气)

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

求解答。。。。。。。。。
回复此楼

» 猜你喜欢

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

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的回帖

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的回帖
相关版块跳转 我要订阅楼主 柳若风飘 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 279学硕食品专业求调剂院校 20+6 孤独的狼爱吃羊 2026-04-12 28/1400 2026-04-14 15:44 by zs92450
[考研] 人工智能320调剂08工类还有机会吗 +18 振—TZ 2026-04-10 19/950 2026-04-14 10:34 by screening
[考研] 机械还有还有名额吗?太难了 +8 笑笑袁 2026-04-10 8/400 2026-04-14 08:44 by screening
[考研] 机械工程313分找工科调剂 +4 双一流本科机械 2026-04-08 4/200 2026-04-14 07:32 by Abskk
[考研] 一志愿华南理工大学331分材料求调剂 +10 天下ww 2026-04-09 11/550 2026-04-13 23:25 by pies112
[基金申请] 2026 WR青拔 +3 冬日阳光CAS 2026-04-09 6/300 2026-04-13 18:40 by liuchb715
[考研] 材料考研调剂 +29 云木达达 2026-04-11 31/1550 2026-04-13 13:32 by lyh鲁老师
[考研] 一志愿浙大生物325分求调剂 +9 zysheng 2026-04-12 9/450 2026-04-12 22:31 by yuyin1233
[考研] 085400 328分 求调剂 +10 喂你一个大橙子 2026-04-09 14/700 2026-04-11 19:53 by lqspecial
[考研] 085410 273分调剂 +4 X1999 2026-04-09 4/200 2026-04-11 13:05 by pies112
[考研] 工科273调剂 +6 X1999 2026-04-09 7/350 2026-04-11 10:23 by zhq0425
[考研] 22408 327分求调剂 +4 韵风kon 2026-04-10 4/200 2026-04-11 09:51 by 猪会飞
[考研] 281求调剂 +11 觉得好的吧 2026-04-10 11/550 2026-04-11 09:35 by 逆水乘风
[考研] 一志愿京区985,085401,与本科专业一致,电子信息工程, +4 阳光开朗的男孩 2026-04-10 4/200 2026-04-10 18:27 by shenrf
[论文投稿] mdpi小修rvr时间四五天了 20+3 哈哈high 2026-04-08 5/250 2026-04-10 16:02 by 北京莱茵润色
[考研] 一志愿武理车辆 281 求调剂 +5 上岸研究生. 2026-04-07 5/250 2026-04-09 15:56 by only周
[考研] 调剂 +12 月@163.com 2026-04-08 12/600 2026-04-09 14:27 by rl1980
[考研] 349学科化学045106求调剂,化学类都可以 +8 保好懂懂 2026-04-08 8/400 2026-04-09 14:03 by xulei3024
[考研] 求调剂 +3 猪肉墩粉条cc 2026-04-08 4/200 2026-04-09 10:05 by 猪肉墩粉条cc
[考研] 334求调剂 +16 Riot2025 2026-04-08 17/850 2026-04-09 09:28 by wdyheheeh
信息提示
请填处理意见