Re: The set of necessary FISONs

On 18.02.2025 13:25, Richard Damon wrote:

On 2/18/25 5:02 AM, WM wrote:

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.

 6 isn't a required factor, as you can use 4 * 9.

We go through the ordinals, with FISONs and with factors. There is a first required factor. There is no first required FISON. All are useless because of
∀n ∈ U(F(n)): |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM