Re: The set of necessary FISONs

Am Wed, 12 Feb 2025 16:43:22 +0100 schrieb WM:

On 12.02.2025 13:16, Richard Damon wrote:

On 2/12/25 4:25 AM, WM wrote:

 

Note: Inductive sets are infinite.

Which shows that all are individually removable.

All are removable together with their predecessors.

No. There is nothing that has all as predecessors. If you remove all,
you don’t need to mention the predecessors (of what?).

When a FISON can be
removed as useless, then all its predecessors can be removed as useless
too. Therefore all FISONs can be removed as useless.

Does not follow.

--
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.