Liste des Groupes | Revenir à math |
On 22.02.2025 13:15, Richard Damon wrote:No, it is essentially the idea or notion that since any individual k has a successor is true, that all of them do.
>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.
Les messages affichés proviennent d'usenet.