一
二
三
四
五
六
七
八
九
零
一
二
三
四
五
六
七
八
九
零
一
二
三
四
五
六
七
八
九
零
一
二
三
四
五
六
七
八
九
一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九
一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九
(
接
上
页
)
我
在
匆
忙
的
浏
览
中
发
现
,
康
托
尔
在
第
二
部
分
给
出
的
公
理
,
除
了
表
现
形
式
以
外
,
内
(接上页)我在匆忙的浏览中发现,康托尔在第二部分给出的公理,除了表现形式以外,内
(接上页)我在匆忙的浏览中发现,康托尔在第二部分给出的公理,除了表现形式以外,内
容
跟
我
的
论
文
第
三
部
分
指
出
的
连
续
性
的
本
质
是
一
致
的
。
但
是
像
我
这
样
把
实
数
域
想
象
成
自
身
容跟我的论文第三部分指出的连续性的本质是一致的。但是像我这样把实数域想象成自身
容跟我的论文第三部分指出的连续性的本质是一致的。但是像我这样把实数域想象成自身
就
是
完
备
,
并
且
对
实
数
做
了
纯
抽
象
的
高
等
级
定
义
,
这
样
做
到
底
有
什
么
意
义
?
我
不
知
道
。
就是完备,并且对实数做了纯抽象的高等级定义,这样做到底有什么意义?我不知道。
就是完备,并且对实数做了纯抽象的高等级定义,这样做到底有什么意义?我不知道。
\quad
第
一
部
分
有
理
数
的
性
质
\quad\quad\quad\quad\quad\quad 第一部分\quad 有理数的性质
第一部分有理数的性质
\quad
即
使
读
者
已
经
具
备
了
相
关
的
有
理
数
的
知
识
,
但
我
还
是
认
为
值
得
对
一
些
重
要
事
实
给
予
\quad 即使读者已经具备了相关的有理数的知识,但我还是认为值得对一些重要事实给予
即使读者已经具备了相关的有理数的知识,但我还是认为值得对一些重要事实给予
注
意
,
但
是
不
做
讨
论
,
这
样
就
能
从
一
开
始
就
揭
示
出
我
们
后
续
所
采
用
的
观
点
。
我
认
为
整
个
算
注意,但是不做讨论,这样就能从一开始就揭示出我们后续所采用的观点。我认为整个算
注意,但是不做讨论,这样就能从一开始就揭示出我们后续所采用的观点。我认为整个算
术
是
必
然
的
,
至
少
是
自
然
而
然
的
一
系
列
简
单
运
算
的
结
果
,
这
个
简
单
操
作
就
是
计
数
,
一
系
列
术是必然的,至少是自然而然的一系列简单运算的结果,这个简单操作就是计数,一系列
术是必然的,至少是自然而然的一系列简单运算的结果,这个简单操作就是计数,一系列
无
限
正
整
数
的
计
数
,
每
个
数
字
都
通
过
紧
邻
它
的
前
一
个
数
字
产
生
。
这
个
最
简
单
的
操
作
,
就
是
无限正整数的计数,每个数字都通过紧邻它的前一个数字产生。这个最简单的操作,就是
无限正整数的计数,每个数字都通过紧邻它的前一个数字产生。这个最简单的操作,就是
通
过
已
经
产
生
的
个
体
,
来
产
生
后
续
的
新
个
体
。
这
个
数
字
链
条
,
成
为
人
类
极
其
有
用
的
工
具
。
通过已经产生的个体,来产生后续的新个体。这个数字链条,成为人类极其有用的工具。
通过已经产生的个体,来产生后续的新个体。这个数字链条,成为人类极其有用的工具。
它
为
人
类
呈
现
了
通
过
引
入
算
术
的
四
则
运
算
而
产
生
的
一
个
取
之
不
尽
的
各
种
神
奇
定
律
所
构
成
的
它为人类呈现了通过引入算术的四则运算而产生的一个取之不尽的各种神奇定律所构成的
它为人类呈现了通过引入算术的四则运算而产生的一个取之不尽的各种神奇定律所构成的
财
富
。
加
法
,
是
把
前
面
所
说
的
产
生
后
续
正
整
数
的
多
个
+
1
的
重
复
作
合
并
简
化
为
一
个
单
一
财富。加法,是把前面所说的产生后续正整数的多个+1的重复作合并简化为一个单一
财富。加法,是把前面所说的产生后续正整数的多个+1的重复作合并简化为一个单一
操
作
;
并
且
由
加
法
产
生
了
乘
法
。
尽
管
加
法
和
乘
法
总
是
可
以
执
行
的
,
但
是
与
之
相
对
的
减
法
和
除
操作;并且由加法产生了乘法。尽管加法和乘法总是可以执行的,但是与之相对的减法和除
操作;并且由加法产生了乘法。尽管加法和乘法总是可以执行的,但是与之相对的减法和除
法
却
是
有
限
制
的
。
不
管
是
为
了
处
理
某
种
情
况
,
不
管
是
通
过
类
比
、
对
比
、
直
觉
,
或
者
是
经
验
,
法却是有限制的。不管是为了处理某种情况,不管是通过类比、对比、直觉,或者是经验,
法却是有限制的。不管是为了处理某种情况,不管是通过类比、对比、直觉,或者是经验,
都
可
能
导
致
某
种
与
之
相
关
的
新
产
物
的
诞
生
。
有
一
点
可
以
肯
定
,
正
是
这
些
间
接
操
作
的
执
行
受
都可能导致某种与之相关的新产物的诞生。有一点可以肯定,正是这些间接操作的执行受
都可能导致某种与之相关的新产物的诞生。有一点可以肯定,正是这些间接操作的执行受
到
的
限
制
,
成
为
进
行
人
类
新
创
造
的
真
正
动
机
。
于
是
,
小
数
,
负
数
,
应
运
而
生
;
在
全
体
有
理
到的限制,成为进行人类新创造的真正动机。于是,小数,负数,应运而生;在全体有理
到的限制,成为进行人类新创造的真正动机。于是,小数,负数,应运而生;在全体有理
数
系
统
,
人
类
已
经
获
得
了
一
个
可
以
无
止
境
得
到
更
高
级
进
步
的
工
具
。
我
用
R
来
表
示
这
个
系
统
数系统,人类已经获得了一个可以无止境得到更高级进步的工具。我用R来表示这个系统
数系统,人类已经获得了一个可以无止境得到更高级进步的工具。我用R来表示这个系统
(
全
体
有
理
数
构
成
的
系
统
)
,
这
个
系
统
首
先
具
有
完
整
性
和
自
包
容
性
,
这
些
特
性
是
我
在
另
一
(全体有理数构成的系统),这个系统首先具有完整性和自包容性,这些特性是我在另一
(全体有理数构成的系统),这个系统首先具有完整性和自包容性,这些特性是我在另一
个
地
方
提
到
的
“
数
体
(
n
u
m
b
e
r
b
o
d
y
)
”
中
提
出
的
,
这
个
特
性
是
指
四
则
运
算
可
以
在
R
中
任
意
个地方提到的“数体 (number\quad body)”中提出的,这个特性是指四则运算可以在R中任意
个地方提到的“数体(numberbody)”中提出的,这个特性是指四则运算可以在R中任意
两
个
个
体
之
间
进
行
,
其
计
算
结
果
,
仍
然
在
系
统
R
内
,
除
零
操
作
除
外
。
两个个体之间进行,其计算结果,仍然在系统R内,除零操作除外。
两个个体之间进行,其计算结果,仍然在系统R内,除零操作除外。
对
于
我
们
眼
前
的
目
标
,
系
统
R
还
有
一
个
非
常
重
要
的
特
性
:
系
统
R
构
成
了
一
个
布
局
良
好
的
\quad\quad 对于我们眼前的目标,系统R还有一个 非常重要的特性:系统R构成了一个布局良好的
对于我们眼前的目标,系统R还有一个非常重要的特性:系统R构成了一个布局良好的
一
维
域
,
向
两
侧
无
限
伸
展
。
我
对
几
何
思
想
的
借
用
,
充
分
说
明
了
这
意
味
着
什
么
。
也
正
因
为
如
一维域,向两侧无限伸展。我对几何思想的借用,充分说明了这意味着什么。也正因为如
一维域,向两侧无限伸展。我对几何思想的借用,充分说明了这意味着什么。也正因为如
此
,
我
需
要
给
出
纯
数
学
特
性
,
以
避
免
出
现
算
术
必
须
借
助
算
术
以
外
的
思
想
的
现
象
。
此,我需要给出纯数学特性,以避免出现算术必须借助算术以外的思想的现象。
此,我需要给出纯数学特性,以避免出现算术必须借助算术以外的思想的现象。
2021-08-23-戴德金-连续性和无理数-2页-我自己做的中文翻译
最新推荐文章于 2021-09-01 14:07:55 发布