ez_lcw/lcw-analyze
1
1
Fork 0
Code Issues 4 Pull Requests Releases Activity

使用更简单的方法证明良序原理 #4

Merged
szTom merged 3 commits from better-proof-well-ordering-theorem into main 2022-09-07 13:41:24 +00:00
Conversation 1 Commits 3 Files Changed 2 +18 -10
szTom commented 2022-09-07 11:44:38 +00:00
Contributor
Copy Link

不使用实数集合的上下界等较为高级的做法证明良序原理

不使用实数集合的上下界等较为高级的做法证明良序原理
szTom added 1 commit 2022-09-07 11:44:39 +00:00 
作为对有限集使用类似归纳的方法的一个例子，在第3章的结尾自然的增加关于有限集合的最大元和最小元的存在性的命题 3.6.9，这将方便良序原理的证明。

Signed-off-by: 方而静 <szdytom@163.com>
szTom added 1 commit 2022-09-07 11:57:01 +00:00 
通过有限集合最小元的存在性，给出良序原理的一个更简单的证明。

Signed-off-by: 方而静 <szdytom@163.com>
szTom changed title from WIP: 使用更简单的方法证明良序原理 to 使用更简单的方法证明良序原理 2022-09-07 11:57:30 +00:00
szTom requested review from ez_lcw 2022-09-07 11:57:45 +00:00
szTom added 1 commit 2022-09-07 13:39:36 +00:00 
改为从1开始归纳，更加自然

Signed-off-by: 方而静 <szdytom@163.com>
ez_lcw approved these changes 2022-09-07 13:41:14 +00:00
szTom merged commit 5637cbed79 into main 2022-09-07 13:41:24 +00:00
szTom deleted branch better-proof-well-ordering-theorem 2022-09-07 13:41:24 +00:00
szTom added the
Language Improvement/语言修订
 label 2022-09-24 11:12:00 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
ez_lcw
Labels
Clear labels
Add Content/新增内容
Extras/番外篇
Format Lint/格式修正
Language Improvement/语言修订
Proof Mistake/证明错误
Technical Problems/技术性问题
No Label
Language Improvement/语言修订
Milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ez_lcw/lcw-analyze#4
No description provided.
Delete Branch "better-proof-well-ordering-theorem"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?