Re: The set of necessary FISONs

On 10.03.2025 17:31, Jim Burns wrote:

On 3/10/2025 4:42 AM, WM wrote:

For example, here:
⎛ A  FISON is linearly ordered,
⎜ begins at 0, ends at a FISON.end,

That is sufficient. And that is what I use, except 0.

That description isn't the usual description.
I'd guess the Peano axioms are the usual.

It is irrelevant what you prefer. Zermelo, Peano, v. Neumann. All use the same induction.

{{ }} = {1},
{{{ }}} = {1, 2},
{{{{ }}}} = {1, 2, 3}.

 You've defined 3 numbers and stopped.

Hoping hat you had understood that there is not a difference.

Peano and Zermelo and Cantor and I
describe infinitely.many.

Yes, without end. But now tell me the difference I asked for.
Regards, WM