Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added some material to Peano arithmetic and Robinson arithmetic. At the latter, I replaced the word “fragment” (which sounds off to my ears – actually Wikipedia talks about thisterm a little) with “weakening”.
Still some links to be inserted.
I wrote a little bit about second-order being Peano’s original definition, and the categoricity (in the logician’s sense) of that system.
Thanks! I have added hyperlinks.
The third clause of the first-order axioms needs parenthesis, I would say! What do you think?
Urs, please go ahead and add parentheses if you feel it would help; thanks!
Okay, did so.
1 to 5 of 5