Re: The set of necessary FISONs

On 14.02.2025 16:42, Jim Burns wrote:

On 2/14/2025 7:52 AM, WM wrote:

Induction creates infinite sets.

 Zermelo set theory [I...VII] describes
a domain of discourse with
Z an inductiveᶻ set

Where all elements are covered by induction.

If i contruct x(1) and from x(n) follows x(n+1)
then the set of all x(n) is infinite.

 then the set of all x(n) is
an inductive subset of the minimal.inductive set.

And no element is outside.

There is no set of all FISON.numbers in ST+F.

But it is the result of the proof. There is not the least doubt that no FISON remains for constructing ℕ.
Regards, WM