Re: The set of necessary FISONs

WM pretended :

On 22.02.2025 18:09, FromTheRafters wrote:

After serious thinking WM wrote :

On 22.02.2025 13:15, Richard Damon wrote:
>

Peano's successors are not induction.
>
Induction is the axiom that lets your prove that a set contains the set of Natural Numbers. It isn't a "construction" technique.

>
Induction is the feature, proven or claimed, that an element exists in the set and with any element also its successor.

 No,

>
Can't you understand English?

Yes, quite well.

"With any element also its successor."

Can't you understand mathematics?
With any (here individuality is implied) element also its (here immediate is implied) successor.

This is proven by me:

No it isn't, because you don't understand mathematics.