[273]Prerequisiti:[271]↺↻,[1XP]↺↻,[0DQ]↺↻.Usate i prerequisiti per mostrare che \(({\mathbb {N}},\le )\) è ben ordinato.
