On Wed, 25 Oct 2006 Roger Bishop Jones wrote:
>I set about showing a conjecture which has as a
>corollory (what
>is probably a well known result) that the only
w->consistent
>complete extension of PA is "true arithmetic".
Is this not equivalent to the completeness Carnap
intended by adding the omega-rule?
Regards
______________________________________________
LLama Gratis a cualquier PC del Mundo.
Llamadas a fijos y móviles desde 1 céntimo por minuto.
http://es.voice.yahoo.com