Re: The set of necessary FISONs

On 28.01.2025 13:45, Richard Damon wrote:

On 1/28/25 4:56 AM, WM wrote:

When every not necessary or not useful element has been discarded nothing remains.

 But that operation can't be done, your logic removes one by one, and thus can't remove ALL.

All which are existing can be removed simultaneously because it is provable that all are useless:
∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM