[1XP]Prerequisiti:[26H]↺↻,[1XS]↺↻.Difficoltà:*.
Assumiamo che un ordinamento (parziale) \(≤\) associato a \(ℕ\) soddisfi [26H]↺↻. Usate il principio di induzione forte [1XS]↺↻ per mostrare che ogni \(A⊆ ℕ\) non vuoto ha un elemento minimale, cioè
[1XZ]↺↻
