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/




Reply via email to