24小时热门版块排行榜    

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

柳若风飘

新虫 (小有名气)

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

要用到皮亚诺公理吗

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

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注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的回帖
查看全部 5 个回答

0404600213

金虫 (正式写手)

【答案】应助回帖

★ ★ ★ ★
感谢参与,应助指数 +1
柳若风飘: 金币+4, 有帮助 2016-03-21 14:56:10
貌似自然数的公理化定理里面有条就是:自然数集包含于任意一个归纳集
2楼2016-03-21 08:36:56
已阅   回复此楼   关注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的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 347求调剂 +4 mhyqyy 2026-04-06 4/200 2026-04-12 02:27 by 秋豆菜芽
[考研] 085404 293求调剂 +9 勇远库爱314 2026-04-08 9/450 2026-04-12 02:24 by 秋豆菜芽
[考研] 材料与化工300求调剂 +39 肖开文 2026-04-09 43/2150 2026-04-12 01:30 by 秋豆菜芽
[考研] 求调剂 +6 小聂爱学习 2026-04-11 9/450 2026-04-11 21:20 by 蓝云思雨
[考研] 085501机械专硕 302分 不挑专业求调剂 +7 汪某. 2026-04-09 7/350 2026-04-11 14:37 by luhong1990
[考研] 298求调剂 +5 残荷新柳 2026-04-07 5/250 2026-04-11 11:02 by 紫曦紫棋
[考研] 一志愿东北大学控制工程085406数二英二385,求调剂 +8 Ezra_Zhang 2026-04-09 8/400 2026-04-11 09:15 by 猪会飞
[考研] 人工智能320调剂08工类还有机会吗 +11 振—TZ 2026-04-10 11/550 2026-04-10 21:51 by blankyung
[考研] 287求调剂 +15 Fnhc 2026-04-07 21/1050 2026-04-10 19:09 by chemisry
[考研] 265求调剂 +12 风说她早忘了 2026-04-10 13/650 2026-04-10 18:56 by chemisry
[考研] 材料专业344求调剂 +16 hualkop 2026-04-10 21/1050 2026-04-10 17:28 by laoshidan
[考研] 一志愿0703化学招61最终排名62化学求调剂 +24 招61排名62 2026-04-07 28/1400 2026-04-10 16:15 by yx54321
[考研] 机械专368 有去处吗 +4 种大树 2026-04-10 4/200 2026-04-10 15:31 by jiajinhpu
[考研] 282,电气工程专业,求调剂,不挑专业 +9 jggshjkkm 2026-04-10 9/450 2026-04-10 14:55 by 逆水乘风
[考研] 265求调剂 +19 小木虫085600 2026-04-06 21/1050 2026-04-08 10:38 by 逆水乘风
[考研] 计算机408|在校多次国家级竞赛获奖|申请调剂 +4 东山大白鹅 2026-04-05 4/200 2026-04-08 00:18 by chongya
[考研] 材料调剂 +13 汉123456 2026-04-07 14/700 2026-04-07 22:53 by 来看流星雨10
[考研] 机械专硕274求调剂,不挑专业学校 +6 泛泛2333 2026-04-05 8/400 2026-04-06 18:06 by 泛泛2333
[考研] 362求调剂一志愿中国石油大学 +4 我要考大 2026-04-06 6/300 2026-04-06 14:11 by 无际的草原
[考研] 第一志愿东南大学物理313,有科研竞赛获奖经历,希望物理复试调剂 +3 马内橙 2026-04-05 3/150 2026-04-06 10:32 by 蓝云思雨
信息提示
请填处理意见