|
|
99d86a386d
|
markdown格式修正
|
2023-10-21 00:54:53 +08:00 |
|
|
|
055e5055ee
|
在合并请求#15中，按照意见修改第3章
|
2022-09-26 09:16:36 +00:00 |
|
|
|
250cb51334
|
完成第8章
|
2022-09-26 09:16:36 +00:00 |
|
|
|
ef4bff7a41
|
完成了第8章的部分内容
|
2022-09-26 09:16:36 +00:00 |
|
|
|
8a60354b18
|
完成#3翻译定理的名字
|
2022-09-15 19:08:58 +08:00 |
|
|
|
c14f4f06ac
|
完成#2更新区间集合记号
|
2022-09-15 16:44:44 +08:00 |
|
|
|
5637cbed79
|
改为从1开始归纳
改为从1开始归纳，更加自然
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:41:23 +00:00 |
|
|
|
86a195e89c
|
增加关于有限集合的最大元和最小元的存在性的命题
作为对有限集使用类似归纳的方法的一个例子，在第3章的结尾自然的增加关于有限集合的最大元和最小元的存在性的命题 3.6.9，这将方便良序原理的证明。
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:41:23 +00:00 |
|
|
|
ddfe3a8177
|
遗漏的修改
|
2022-09-05 11:38:43 +00:00 |
|
|
|
9a943b567c
|
按照意见修改
|
2022-09-05 11:38:43 +00:00 |
|
|
|
e7b2eef877
|
整合第三章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
4125dafbc7
|
上传已有的文件
|
2022-09-05 14:29:40 +08:00 |
|
