Dear Bruno,

   How is the "trueness" of members of this "theory" (of all "true
arithmetical sentences) given? By fiat?

Kindest regards,


----- Original Message ----- From: "Bruno Marchal" <[EMAIL PROTECTED]>
Sent: Friday, December 03, 2004 8:03 AM
Subject: Re: An All/Nothing multiverse model

At 15:49 01/12/04 -0500, Hal Ruhl wrote:
the All is internally inconsistent since it is complete.

I have a counter-example: take the following theory: All true arithmetical sentences. This is complete and yet consistent. Gödel's theorem applies only on axiomatizable (or mechanically generable) theory.


Reply via email to