Re: Pa without 0 and successorfunction

On Aug 9, 6:35 pm, translogi <wilem...@xxxxxxxxxxxxxx> wrote:
Boolos "the logic of provability" says that PA can be axiomised
without:
zero and the successor functions as primitive symbols.

Unfortunedly he doesn't tell how to do so.

Can somebody enlighten me here?

I would think you could replace the two primitive symbols 0 and s with
one primitive symbol <. Perhaps that is what he has in mind. Can you
provide the context of what he said? That might give us some clues.
.

Relevant Pages
Quantcast