EDB — 255

Exercises

1. [255]Prove that \(ℕ\) is a transitive set. (Hint: use induction.)

   Solution 1

   [256]↺↻

   This and [257]↺↻ say that \(ℕ\) is an ordinal.