FOM: Reply to Vorobey on Peano-Dedekind arithmetic

[Charles Silver]

On Mon, 12 Oct 1998, Neil Tennant wrote:

[Lots of stuff snipped]

> I refer Vorobey to
> my book 'Anti-Realism and Logic', Clarendon Press, Oxford, 1987, in
> which I gave detailed derivations of the the Peano-Dedekind axioms for
> successor arithmetic from some simple principles that I claimed were
> meaning-determining for 0, s( ), #x(...x...) and N( ). 

	Could you please say what the intuitive content of each of these
is:

                     0, s( ), #x(...x...) and N( ).


Charlie Silver