Re: robinson arithmetic is not incomplete

"The australian philosopher colin leslie dean points out robinson
arithmetic is not incomplete"

He is either (A) wildly misusing standard words or (B) is claiming
that there is no sentence S of the language of RA such that we have
both RA doesn't prove S and RA doesn't prove S.

You reject (A).

In which case you've been provided with a challenge to defend (B). In
particular, show either that RA proves (Ax)(0 + x = x) or that RA
proves not-(Ax)(0 + x = x).

There's £1000 on the table from me that says it can't be done. It's as
simple as that. Put up, provide a proof one way or the other of that
sentence or its negation, or shut up.
.

Relevant Pages