Re: The set of necessary FISONs

On 2/2/25 6:34 AM, WM wrote:

On 02.02.2025 01:33, Richard Damon wrote:

On 2/1/25 1:17 PM, WM wrote:

 

The set of FISONs assumed to satisfy U(A(n)) = ℕ cannot be empty. But we can prove by induction that every FISON can be discarded without changing the union. That disproves the assumption.
>

And that is your problem, you make assumptions that are unwarented,

 I think you've got it! Yes, U(A(n)) is not ℕ.
 Regards, WM
 

But N is in the union of any inifinite set of FISONs.
What isn't, is your A(n), as none of the FISONs are individually needed.
So, all you have done is prove your claim about FISONs and N wrong.