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