Re: The set of necessary FISONs

On 16.02.2025 19:39, Richard Damon wrote:

On 2/16/25 11:33 AM, WM wrote:

On 16.02.2025 13:11, joes wrote:

Am Sun, 16 Feb 2025 11:39:45 +0100 schrieb WM:

>

Therefore all can be removed, and U(F) = ℕ ==> U(F\F) = ℕ.

No, obviously you can’t remove all

>
Proofs by induction cover all elements of the set. My proof proves that no FISON is capable of changing the premise UF = ℕ.

There is no requirement for a "necessary" elememt for the set.

A set without elements is an empty set and not capable of producing ℕ.
Regards, WM