Re: The set of necessary FISONs

On 2/18/25 10:26 AM, WM wrote:

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

NBo, there is no first required factor.
If you want to try to define some other criteria, then actually define it.
Note, it becomes the equivalent of there needing to be a maximum Natural Number, then your definition is proven to be nonsense.
Because your logic just is nonsense.