应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 数学综合 » 求自然数集是最小归纳集的严格证明？
51/1返回列表
查看: 1657  |  回复: 4
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

柳若风飘

新虫 (小有名气)

[求助] 求自然数集是最小归纳集的严格证明？ 已有1人参与

要用到皮亚诺公理吗

[ 发自手机版 http://muchong.com/3g ]
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2016-03-20 17:30:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

0404600213

金虫 (正式写手)

【答案】应助回帖

★ ★ ★ ★
感谢参与，应助指数 +1
柳若风飘: 金币+4, ★有帮助 2016-03-21 14:56:10
貌似自然数的公理化定理里面有条就是：自然数集包含于任意一个归纳集
赞一下 回复此楼
2楼2016-03-21 08:36:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

0404600213

金虫 (正式写手)
引用回帖:
2楼: Originally posted by 0404600213 at 2016-03-21 08:36:56
貌似自然数的公理化定理里面有条就是：自然数集包含于任意一个归纳集

公理化定义
打错了
赞一下 回复此楼
3楼2016-03-21 08:37:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

柳若风飘

新虫 (小有名气)
引用回帖:
2楼: Originally posted by 0404600213 at 2016-03-21 08:36:56
貌似自然数的公理化定理里面有条就是：自然数集包含于任意一个归纳集

先知道有其他归纳集再取他们的交集为自然数集？，还是由自然数集扩展得出其他归纳集？

[ 发自手机版 http://muchong.com/3g ]
赞一下 回复此楼
4楼2016-03-21 11:32:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

0404600213

金虫 (正式写手)
引用回帖:
4楼: Originally posted by 柳若风飘 at 2016-03-21 11:32:08
先知道有其他归纳集再取他们的交集为自然数集？，还是由自然数集扩展得出其他归纳集？
...

原话是：如果有集合A满足以上各条，则A包含自然数集

发自小木虫Android客户端
赞一下 回复此楼
5楼2016-03-21 12:01:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 柳若风飘 的主题更新
51/1返回列表
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 求调剂，262机械专硕 +8 嗯yyl 2026-04-08 8/400 2026-04-12 02:31 by 秋豆菜芽
[考研] 347求调剂 +4 mhyqyy 2026-04-06 4/200 2026-04-12 02:27 by 秋豆菜芽
[考研] 一志愿211，0703化学305分求调剂 +26 严西西戏 2026-04-06 33/1650 2026-04-11 23:01 by 314126402
[考研] 一志愿厦大0856，306求调剂 +15 Bblinging 2026-04-11 15/750 2026-04-11 22:53 by 314126402
[考研] 086003调剂求助 +21 苏弋万 2026-04-09 22/1100 2026-04-11 20:25 by dongdian1
[考研] 本人女孩 +7 吼吼， 2026-04-10 9/450 2026-04-11 14:45 by ACS Nano——
[考研] 广东省 085601 329分求调剂 +14 Eddieddd 2026-04-10 14/700 2026-04-11 09:58 by bljnqdcc
[考研] 263能源动力专硕求调剂 +3 加大号饭盒袋 2026-04-10 3/150 2026-04-10 22:23 by 286640313
[考研] 287求调剂 +15 Fnhc 2026-04-07 21/1050 2026-04-10 19:09 by chemisry
[考研] 一志愿京区985，085401，与本科专业一致，电子信息工程， +4 阳光开朗的男孩 2026-04-10 4/200 2026-04-10 18:27 by shenrf
[考研] 考研二轮调剂 +8 故人?? 2026-04-09 8/400 2026-04-10 09:44 by 青梅duoduo
[考研] 1U盾记得记得就 +9 sanjin020722 2026-04-08 10/500 2026-04-09 14:11 by 诗与自由
[考研] 软件工程求调剂22软工296分求调剂，接受跨调 +4 yangchen2017 2026-04-08 5/250 2026-04-08 21:56 by 土木硕士招生
[考研] 327求调剂 +12 Xxjc1107. 2026-04-06 12/600 2026-04-08 16:46 by luoyongfeng
[考研] 085602调剂 初试总分335 +10 19123253302 2026-04-05 10/500 2026-04-07 15:23 by 小乔同学ya
[考研] 软工学硕299求调剂 +6 useryy 2026-04-07 6/300 2026-04-07 09:50 by vgtyfty
[考研] 081200-11408-367学硕求调剂 +4 1_2_3111 2026-04-06 4/200 2026-04-07 08:13 by jp9609
[考研] 22408 331分求调剂 +4 y__1 2026-04-06 4/200 2026-04-06 17:26 by 土木硕士招生
[考研] 308求调剂 +3 终不似从前 2026-04-05 3/150 2026-04-05 20:07 by 啵啵啵0119
[考研] 315求调剂 +5 ＆123456789 2026-04-05 5/250 2026-04-05 19:55 by nepu_uu
信息提示
关闭
请填处理意见
关闭