Re: Name the thesis: "Formal sentences capture informal ones"

From: LordBeotian (pokipsy76_at_CANCELLAMIyahoo.it)
Date: 01/31/05 

Date: Mon, 31 Jan 2005 11:22:28 GMT

<Helene.Boucher@wanadoo.fr> ha scritto

> No, it's the axiom "(x)(Nx => there exists y such that Sxy)", i.e.
> every natural number has a successor.

As far as I know it is not an axiom of PA...