- 641 名前：現代数学の系譜 雑談 [2021/05/29(土) 08:13:53.89 ID:fi/E4J7v.net]
- >>580
つづき
＜証明＞
https://proofwiki.org/wiki/Infinite_Sequence_Property_of_Strictly_Well-Founded_Relation
proofwiki
Infinite Sequence Property of Strictly Well-Founded Relation
Contents
1 Theorem
2 Proof
2.1 Reverse Implication
2.2 Forward Implication
3 Axiom of Dependent Choice
4 Sources
Theorem
Let (S,R) be a relational s
