EDB — 255

Esercizi

1. [255]Dimostrare che \(ℕ\) è un insieme transitivo. (Sugg.: usare l’induzione).

   Soluzione 1

   [256]↺↻

   Questo e [257]↺↻ ci dicono che \(ℕ\) è un ordinale.