EDB — 07X

Exercises

1. [07X] Prerequisites:[08Z]↺↻.(Solved on 2023-01-17) (Proposed on 2022-12) Let \(X\) be totally ordered set. Show that these are equivalent:

   1. \(X\) is well ordered;

   2. there are no strictly decreasing functions \(f:ℕ→ X\).

   (This is a special case of [263]↺↻)