Re: The set of necessary FISONs

On 09.02.2025 18:04, Richard Damon wrote:

And all that does is say that the set of all FISONs is a set where all the members are individually

and all their predecessors

not needed to build a set whose union is the set of Natual Numbers.
There is nothing in the theory to let you jump from a property of the members to a property of the set as a whole,

All FISONs are proven useless for changing the assumption. Therefore they can be omitted and what remains is { } = ℕ.
Regards, WM