核心思想:既然都帮我构造好了一个良序,那我每个元素都取出它的最小元素就可以了。
Proof.将每个 X 构造出一个良序,取 f(Xᵢ)=Xᵢ 最小元就满足条件了。 □
参考:
1. 参考《集合论 对无穷概念的探索》
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。