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" <marchal.domain.name.hidden>
To: <everything-list.domain.name.hidden>
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/
>
>
Received on Fri Dec 03 2004 - 15:38:35 PST