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

WM <wolfgang.mueckenheim@tha.de> wrote:

On 07.01.2025 12:36, Alan Mackenzie wrote:

If there were such
things as "potential" and "actual" infinity in maths,

Your comments about my quotes show that you have lost all contact with
mathematics.

then they would make a difference to some mathematical result.

Of course. Here is a simple example, accessible to every student who is
not yet stultified by matheology.

For the inclusion-monotonic sequence of endsegments of natural numbers
E(k) = {k+1, k+2, k+3, ...} the intersection of all terms is empty. But
if every number k has infinitely many successors, as ZF claims, then the
intersection is not empty.

That is false.  The intersection of even just two infinite sets can be
empty.

As for the intersection of all endsegments of natural numbers, this is
obviously empty.

Therefore set theory, claiming both, is false.

Set theory doesn't "claim" both.  Set theory doesn't "claim" at all.  It
has axioms and theorems derived from those axioms.  If one accepts the
axioms, and nearly all mathematicians do, then one is logically forced to
accept the theorems, too.

Inclusion monotonic sequences can only have an empty intersection if
they have an empty term.

False.  Where do you get such an idea from?  Such sequences have an empty
intersection if there is no element which is a member of each set in the
sequence.  This is trivially true for the sequence of endsegments of the
natural numbers.

Therefore the empty intersection of all requires the existence of
finite terms which must be dark.

That isn't mathematics.  Jim proved some while ago that there are no dark
numbers, in as far as he could get a definition of them out of you.

Further there are not infinitely many infinite endsegments possible
because the indices of an actually infinite set of endsegements without
gaps must be all natural numbers.

That's meaningless gobbledegook.

Regards, WM

--
Alan Mackenzie (Nuremberg, Germany).