Lexicon of Arguments

 

A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967

46
Peano, unlike Poincaré, explicitly states the principle of induction as one of his postulates, with the aid of which he defines the integers. He is therefore in a position to prove the consistency of his postulate system.
>Consistency, >Proofs, >Provability, >Postulates,
Poincaré agrees with Peano that a group of postulates must be proved as consistent before the system is given a real meaning. He claims, however, that Peano's attempt to prove the contradiction has failed because it is circular.
>Circular reasoning, >H. Poincaré.
47
Peano actually uses the induction principle in two ways: as a postulate and then as a rule.
>Rules, >Rule system.