[255]Dimostrare che \(ℕ\) è un insieme transitivo. (Sugg.: usare l’induzione).
[256]↺↻
Questo e [257]↺↻ ci dicono che \(ℕ\) è un ordinale.