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

On 11/19/2024 4:38 PM, Ross Finlayson wrote:

On 11/19/2024 11:56 AM, Jim Burns wrote:

On 11/19/2024 12:52 PM, Ross Finlayson wrote:

The "bait-and-switch" and "back-slide"
don't go well together.
>
In either order, ....

>
⎛ Necessary and sufficient conditions for finiteness
⎜
⎜ 3. (Paul Stäckel)
⎜ S can be given a total ordering which is
⎜ well-ordered both forwards and backwards.
⎜ That is, every non-empty subset of S has both
⎝ a least and a greatest element in the subset.
>
https://en.wikipedia.org/wiki/Finite_set

>
Yeah we looked at that before also,
and I wrote another, different, definition of finite.

Thank you for admitting that.
However, you (RF) might NOT be bait.and.switch.ing
if the definitions are equivalent.
What was the definition you wrote before?
I didn't see it in the rest of your post.