Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)

On 12/29/2024 1:15 PM, Ross Finlayson wrote:

On 12/29/2024 06:43 AM, joes wrote:

The infinite union doesn’t.

>
There is no "infinite union" in ZF,
only "pair-wise union",
according to the axiom of union.

No.
https://en.wikipedia.org/wiki/Axiom_of_union
⎛ Informally, the axiom states that
⎜ for each set x there is a set y
⎜ whose elements are precisely
⎝ the elements of the elements of x.