Esercizi
[25W]Fissato \(N\in ℕ\), consideriamo la relazione d’ordine \(n⊆ m\) per \(n,m\in N\). Dato che \(N\subseteq ℕ\) è bene ordinato, allora la Proposizione [26J] implica che \((N,\subseteq )\) è bene ordinato; cionondimeno provate a dimostrare direttamente per induzione che \(n⊆ m\) è un buon ordinamento in \(N\).
Soluzione 1