EDB — 25W

Exercises

1. [25W]Having fixed \(N\in ℕ\), consider the ordering \(n⊆ m\) for \(n,m\in N\). Since \(N\subseteq ℕ\) is well ordered, then Proposition [26J]↺↻ implies that \((N,\subseteq )\) is well ordered; nonetheless prove directly by induction that \(n⊆ m\) is a well ordering in \(N\).

   Solution 1

   [25X]↺↻