Dear Bruno,
How is the "trueness" of members of this "theory" (of all "true arithmetical sentences) given? By fiat?
Kindest regards,
Stephen
----- Original Message ----- From: "Bruno Marchal" <[EMAIL PROTECTED]>
To: <[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.
Bruno
http://iridia.ulb.ac.be/~marchal/