Re: An All/Nothing multiverse model

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Fri, 03 Dec 2004 14:03:14 +0100

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 - 08:09:29 PST