|

楼主 |
发表于 2010-5-12 02:16
|
显示全部楼层
[分享,讨论]数学的启示/数学是什么
[这个贴子最后由elimqiu在 2010/05/14 01:56am 第 3 次编辑]
皮亚诺关于的这五条公理用非形式化的方法叙述如下:
(1) 0是自然数;
(2) 每一个确定的自然数a,都有一个确定的后继数a'; ,a';也是自然数
   (一个数的后继数就是紧接在这个数后面的数,例如,1的后继数是2,2的后继数是3等等);
(3) 如果b';=c';,那么b = c;
(4) 0不是任何自然数的后继数;
(5) 任意关于自然数的命题,如果证明了它对自然数0是对的,又假定它对自然数n为真时,
   可以证明它对n'; 也真,那么,命题对所有自然数都真。
[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
自然数的相等公理:设x,y,z 是自然数,则
(i) x = x
(ii) x = y → y = x
(iii) x = y, y = z → x = z
(iv) w = x → w 是自然数。
无穷公理:存在(N,=,';) 使得 0 ∈ N
这条公理是说存在一个集合及其上的二元关系=,后继映射 '; 满足所有上列公理。
这无非是说自然数全体所成的集合存在。这条公理的名称暗示了N是一个无穷集合。这一点以后我们可以证明。 |
|