Is Godel's system of axioms inconsistent?

  • Thread starter Thread starter Ursole
  • Start date Start date
  • Tags Tags
    Godel
Ursole
Messages
28
Reaction score
0
As we cannot prove that Godel's system of axioms (ZFC?) is consistent, is it possible that it is inconsistent, that the Godel sentence is false, and that we yet prove it to be 'true'?
 
Last edited:
Physics news on Phys.org
When using an inconsistent system, any statement can be proven true.

If a statement is unprovable in one consistent system, then there is a consistent system in which this statement is provable, and there is another consistent system in which this statement is disprovable.
 
I.e., yes.

Godel's theorem says that "any consistent mathematical theory containing a model of the natural numbers is incomplete". (The conditions on the theory are a bit stronger than that, but the consistent requirement is part of the statement.)

If you follow his proof, you can see exactly where he assumes consistency of the theory, though it has been long enough that I have forgotten.
 
I may be wrong, but I don' t think it's a consequence of Godel that we can't prove ZFC consistent. We can prove all kinds of things to be consistent. What Godel says is that if we can write a formula in the language of ZFC that says "ZFC is consistent", then we can't prove it unless ZFC is really inconsistent.
 

Thread 'Here's a Statistics problem for game of Polo (or Hockey if you like)'

Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
View full post »

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »

Similar threads

On soundness and completeness of ZFC set theory
Replies
6
Views
2K
A How Does Gödel's Diagonalization Relate to Proofs in Peano Arithmetic?
Replies
14
Views
2K
I What Are the Philosophical Implications of Godel's Incompleteness Theorems?
Replies
34
Views
4K
Are formal systems of first order logic incomplete?
Replies
14
Views
4K
I Loophole in Godel's Incompleteness Theorem?
Replies
24
Views
3K
Are All Axiomatic Systems Incomplete According to Gödel's Theorem?
Replies
18
Views
3K
A An additional constraint to the ZFC axioms?
Replies
40
Views
4K
Gödel's incompleteness wrt weakend versions of ZFC
Replies
2
Views
2K
Which Godel statements are seen to be true by humans?
Replies
2
Views
1K
Gödel’s theorem: larger than proof?
Replies
8
Views
2K

Hot Threads

Recent Insights

Back
Top