Re: robinson arithmetic is not incomplete

On Apr 12, 8:41 am, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
The australian philosopher colin leslie dean points out robinson arithmetic
is not incomplete

Then the australian philosopher colin leslie dean is a buffoon.

Perhaps colin leslie dean would like to prove either (Ax)(0 + x = x)
or its negation in Robinson Arithmetic as defined e.g. in Boolos/
Burgess/Jeffrey edn 4, or in my book.

I'm sure that George and I will chip in for a $1000 prize if he
does ... and Aatu will double it! ;-)
.

Relevant Pages