EDB — 1XP

[1XP]Prerequisiti:[26H]↺↻,[1XS]↺↻.Difficoltà:*.

Assumiamo che un ordinamento (parziale) $\le$ associato a $\mathbb{N}$ soddisfi [26H]↺↻. Usate il principio di induzione forte [1XS]↺↻ per mostrare che ogni $A\subseteq \mathbb{N}$ non vuoto ha un elemento minimale, cioè