## A Conversation for Logical Completeness

### Wrong paradox

e to the x Started conversation Jan 15, 2001

The paradox you speak of is known as Russal's Paradox and was not what Godel used in his proof. Russal's Paradox was used to show that normal Cantorian set theory was incomplete. Godel's therom used (in the propositional calculus) the statement "This statement is not provable in system S". This was the statement that would have to have it (or it's negation) added as an axiom of a logical system. But, then the system would be inconsistant.

Therfore: No system is both consistant (no statements of the form x and not x) and complete (every true statement is in the system)

### Wrong paradox

The Unmentionable Marauding Pillowcase Posted Jan 21, 2001

Yes, e to the x is right. Clean up this entry a bit, make it real nice, logic is really neat and should not be on the 5 most neglected list!

### Wrong paradox

HenryS Posted Jun 10, 2001

Almost right...but adding the godel sentence or its negation does not make the system inconsistent. I've written a bit on this towards the end of post 59 on http://www.bbc.co.uk/h2g2/guide/F53777&thread=76574&skip=40&show=20

Key: Complain about this post

### Wrong paradox

### More Conversations for Logical Completeness

### Write an Entry

"The Hitchhiker's Guide to the Galaxy is a wholly remarkable book. It has been compiled and recompiled many times and under many different editorships. It contains contributions from countless numbers of travellers and researchers."