|
|
Re: Some observations on the Peano's Axioms
Posted:
Jun 13, 2012 10:18 AM
|
|
William Elliot wrote:
> RA then is a FOL version of PA?
No. It's usually called Q.
http://en.wikipedia.org/wiki/Robinson%27s_Arithmetic.
--
The animated figures stand
Adorning every public street
And seem to breathe in stone, or
Move their marble feet.
|
|
