5 ms·
According to different page in wikipedia, Peano axioms is second order but "Peano arithmetic" is first order. > The ninth, final axiom is a second-order statem
by YetAnotherNick 3y ago
According to different page in wikipedia, Peano axioms is second order but "Peano arithmetic" is first order.
> The ninth, final axiom is a second-order statement of the principle of mathematical induction over the natural numbers, which makes this formulation close to second-order arithmetic. A weaker first-order system called Peano arithmetic is obtained by explicitly adding the addition and multiplication operation symbols and replacing the second-order induction axiom with a first-order axiom schema.
[1]: https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms
- cubefox 3y agoYeah, but this terminology is fairly idiosyncratic. Probably a convention the main author likes to follow.
- deleted 3y ago[deleted]
- throwaway81523 3y agoNo it's pretty standard. Peano's axioms from the 19th century had an induction axiom in second order logic, since it quantified over predicates. Peano arithmetic (PA), also called first order arithmetic, came later. It is a first order theory whose induction axioms are an infinite schema. To confuse things further, second-order arithmetic (SOA) is also a first order theory, whose objects are naturals and sets of naturals.
- cubefox 3y agoIt's pretty standard also to talk about "first-order Peano arithmetic" and "second-order Peano arithmetic". This is much more clear but inconsistent with the other usage which you describe. Moreover, non-logicians don't talk about "first-order" or "second-order" logic at all. They just express the induction axiom in plain English, and in this case it is (as Stewart Shapiro argued) equivalent to the second-order axiom.
- throwaway81523 3y agoYes. I don't remember who called second-order logic "set theory in sheep's clothing". ;)
- cubefox 3y agoQuine. His justification was quite bad though.