Re: The set of necessary FISONs

Am Fri, 07 Mar 2025 10:24:52 +0100 schrieb WM:

On 06.03.2025 21:23, joes wrote:

Am Thu, 06 Mar 2025 18:15:01 +0100 schrieb WM:

 

Never a set of elements is constructed which is larger than every
finite number.

Infinite sets are.

Not inductive sets.

Inductive sets are of course larger than any finite number.

Induction is potentially infinite.

Proof.by.induction completes

never!

If it didn't, it wouldn't work.

It constructs and works for all potentially infinite sets.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.