Philosophy 版 (精华区)

发信人: catdog (评论员), 信区: Philosophy
标  题: 《算术基础》概述（14）
发信站: 哈工大紫丁香 (2003年09月15日09:44:22 星期一), 站内信件

有了上面相等的概念，作者开始定义数了。

0是适合“与自身不相等”这个概念的这个数。

n在自然序列中紧跟m（还不能说n=m+1）的定义：
如果存在一个概念F和处于他之下的这样一个对象X，使得属于F这个
概念的数是n，而属于“出于F之下但不等于x”这个概念的数是m”

1是在自然数序列中紧跟0。
首先要证明“在自然数序列中紧跟0”这样数是存在的，属于“与0
相等”这一概念的数就是。

如果再证明自然序列中任意数都有紧跟的数就可以定义整个自然数
了。（作者完成了证明）

--
好学近乎知 力行近乎仁 知耻近乎勇

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.250.103]