|
|
f2cde78b37
|
改为从1开始归纳
改为从1开始归纳，更加自然
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:39:35 +00:00 |
|
|
|
4542dc746e
|
给出良序原理的一个更简单的证明
通过有限集合最小元的存在性，给出良序原理的一个更简单的证明。
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 11:57:00 +00:00 |
|
|
|
6093b28560
|
增加关于有限集合的最大元和最小元的存在性的命题
作为对有限集使用类似归纳的方法的一个例子，在第3章的结尾自然的增加关于有限集合的最大元和最小元的存在性的命题 3.6.9，这将方便良序原理的证明。
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 11:43:15 +00:00 |
|
