Re: The set of necessary FISONs

On 09.02.2025 18:20, Jim Burns wrote:

On 2/9/2025 5:59 AM, WM wrote:

minimal.inductive ≠ inductive ≠ infinite

>
Then you are wrong.
Every inductive set is infinite.

 Some infinite sets, such as E(137),
are not inductive.

That is irrelevant.

 Also,
some inductive sets, such as ℝ,
are not minimal.inductive.

That is irrelevant.
The set of useless FISONs is inductive and therefore infinite. No FISON can change the assumption U(A(n)) = ℕ. Therefore every FISON can be omitted. ==> { } = ℕ.
Regards, WM