Re: The set of necessary FISONs

On 18.02.2025 04:02, Richard Damon wrote:

We can build a sufficent set from non-required FISONs, just like we can factor 36 from non-required factors.

We can go through the factors and find the first required factor 6.
We can go through the FISONs and find that a FISON F(n) changing
U({F(1), F(2), F(3), ...} \ {F(1), F(2), ..., F(n)}) = ℕ
does not exist.
The belief that some smaller FISONs would help shows missing brain.
Regards, WM