24小时热门版块排行榜    

查看: 895  |  回复: 3

柳若风飘

新虫 (小有名气)

[交流] 自然数无法定义,只能用公理描述其性质

如皮亚诺公理

发自小木虫Android客户端
回复此楼

» 猜你喜欢

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

a1172425

新虫 (初入文坛)


小木虫: 金币+0.5, 给个红包,谢谢回帖
事实上自然数是可以用归纳集定义的。我就不说太多概念,直接说这个是啥。在非负数集上定义一个族Γ,它中间的元素A满足下列条件:0∈A;若x∈A,那么x+1∈A。那么这个族的交就是自然数

发自小木虫Android客户端
2楼2016-04-04 17:10:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

0404600213

金虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
公理和定义在理论体系里的层次是类似的

发自小木虫Android客户端
3楼2016-04-04 17:19:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

柳若风飘

新虫 (小有名气)

引用回帖:
2楼: Originally posted by a1172425 at 2016-04-04 17:10:43
事实上自然数是可以用归纳集定义的。我就不说太多概念,直接说这个是啥。在非负数集上定义一个族Γ,它中间的元素A满足下列条件:0∈A;若x∈A,那么x+1∈A。那么这个族的交就是自然数
...

如何理解归纳集

发自小木虫Android客户端
4楼2016-04-08 17:49:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 柳若风飘 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 材料工程(专)一志愿985 初试335求调剂 +3 hiloiy 2026-03-17 4/200 2026-03-21 03:04 by JourneyLucky
[考研] 265求调剂 +9 梁梁校校 2026-03-17 9/450 2026-03-21 02:17 by JourneyLucky
[考研] 311求调剂 +5 冬十三 2026-03-18 5/250 2026-03-21 00:16 by JourneyLucky
[考研] 330求调剂 +4 小材化本科 2026-03-18 4/200 2026-03-20 23:13 by JourneyLucky
[考研] 290求调剂 +7 ^O^乜 2026-03-19 7/350 2026-03-20 21:43 by JourneyLucky
[考研] 一志愿北京化工大学0703化学318分,有科研经历,求调剂 +4 一瓶苯甲酸 2026-03-14 4/200 2026-03-20 20:36 by fen_rao
[考研] 一志愿 南京航空航天大学大学 ,080500材料科学与工程学硕 +5 @taotao 2026-03-20 5/250 2026-03-20 20:16 by JourneyLucky
[考研] 一志愿吉林大学材料学硕321求调剂 +11 Ymlll 2026-03-18 15/750 2026-03-20 19:40 by 丁丁*
[考研] 08工学调剂 +5 用户573181 2026-03-20 5/250 2026-03-20 15:47 by xia_2003
[考研] 能源材料化学课题组招收硕士研究生8-10名 +5 脱颖而出 2026-03-16 14/700 2026-03-20 09:30 by kkcoco25
[考博] 申博26年 +3 八6八68 2026-03-19 3/150 2026-03-19 19:43 by nxgogo
[考研] 085600材料与化工求调剂 +6 绪幸与子 2026-03-17 6/300 2026-03-19 13:27 by houyaoxu
[考研] 085601专硕,总分342求调剂,地区不限 +5 share_joy 2026-03-16 5/250 2026-03-18 14:48 by haxia
[考研] 311求调剂 +11 冬十三 2026-03-15 12/600 2026-03-18 14:36 by 星空星月
[考研] 326求调剂 +5 上岸的小葡 2026-03-15 6/300 2026-03-17 17:26 by ruiyingmiao
[考博] 26申博 +4 八6八68 2026-03-16 4/200 2026-03-17 13:00 by 轻松不少随
[考研] 机械专硕325,寻找调剂院校 +3 y9999 2026-03-15 5/250 2026-03-16 19:58 by y9999
[考研] 一志愿211 0703方向310分求调剂 +3 努力奋斗112 2026-03-15 3/150 2026-03-16 16:44 by houyaoxu
[考研] 304求调剂 +3 曼殊2266 2026-03-14 3/150 2026-03-16 16:39 by houyaoxu
[考研] 288求调剂 +4 奇点0314 2026-03-14 4/200 2026-03-14 23:04 by JourneyLucky
信息提示
请填处理意见