24小时热门版块排行榜    

CyRhmU.jpeg
查看: 972  |  回复: 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的回帖
相关版块跳转 我要订阅楼主 柳若风飘 的主题更新
信息提示
请填处理意见