EDB — 01Y

Exercises

1. [01Y] Show instead that the axiom of infinity, and the consequent construction of the natural numbers seen in Sec. [246]↺↻, implies that there is a sequence $x_1,\dots x_n,\dots$ of sets for which $x_1\in x_2\in x_3\dots$.

   Solution 1

   [01Z]↺↻