How do we know axioms are sufficient?

  • Thread starter Avichal
  • Start date
  • #1
292
0
In math, we define new concepts and have certain axioms regarding the concept that are believe to be true.
Now how do we know that the given axioms are enough to give a proof to any problem?

I hope this makes sense.
 
Last edited:

Answers and Replies

  • #2
22,089
3,293
In math, we define new concepts and have certain axioms regarding the axioms that are believe to be true.
Now how do we know that the given axioms are enough to give a proof to any problem?

I hope this makes sense.
We don't know it because it's not true. Given any (sufficiently large) axiom system, there are always true theorems that cannot be proven. So we cannot prove any problem.

This is basically Godel's incompleteness theorem.
 
  • #4
395
14
We don't know it because it's not true. Given any (sufficiently large) axiom system, there are always true theorems that cannot be proven. So we cannot prove any problem.

This is basically Godel's incompleteness theorem.
Ahh, beat me to it.
 
  • #5
292
0
So whenever there is a problem, there is a possibility that it cannot be solved by the present axioms? Has there been a case like that?
What do we do in case we encounter some problem like that?
 
  • #6
22,089
3,293
So whenever there is a problem, there is a possibility that it cannot be solved by the present axioms? Has there been a case like that?
Yes, there have been cases like that. One of the most famous problems is the continuum hypothesis: http://en.wikipedia.org/wiki/Continuum_hypothesis. It has been shown that it cannot be proven or disproven using the usual ZFC-axioms.

What do we do in case we encounter some problem like that?
We try to show that no proof exists to prove the claim and that no proof exists that disproves the claim. That is all we can do. We can also add some stronger axioms and then show that those imply the problem, but then we change our axioms.
 
  • #7
292
0
We try to show that no proof exists to prove the claim and that no proof exists that disproves the claim. That is all we can do. We can also add some stronger axioms and then show that those imply the problem, but then we change our axioms.
Why don't we try to change our axioms? Obviously if we are not able to show a proof, our axioms are not sufficient and should be changed.
 
  • #8
SteamKing
Staff Emeritus
Science Advisor
Homework Helper
12,796
1,668
Which axioms would you change? Why?

In the CH controversy, it was shown that even if certain axioms were adopted, CH could still not be proven or disproven; the CH problem was independent of the axioms which would be used to prove or disprove it.

Other axioms have been proposed, and the controversy continues, unresolved.

In any system which relies on certain statements taken as axioms, there will be problems which cannot be proven beyond a reasonable doubt, as the lawyers and the logicians say.

One other famous axiom which generated much controversy was Euclid's Fifth Postulate, about parallel lines.

http://en.wikipedia.org/wiki/Parallel_postulate

This axiom has kept divers mathematicians busy for hundreds of years, trying to prove or disprove it. It has even led to the development of various non-Euclidean geometries, which dispense with Euclid's parallel lines and substitute other axioms in its place.
 
  • #9
22,089
3,293
Why don't we try to change our axioms? Obviously if we are not able to show a proof, our axioms are not sufficient and should be changed.
Godel has proven that we can never find an consistent (= useful) axiom system in which you can prove every true statement. So there are no sufficient axiom systems.
 

Related Threads on How do we know axioms are sufficient?

  • Last Post
Replies
2
Views
717
  • Last Post
Replies
9
Views
10K
  • Poll
  • Last Post
Replies
9
Views
3K
Replies
12
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
10
Views
1K
Replies
13
Views
10K
Top