Axiomatic Set Theory
In 1931, Kurt Gödel proved the first ZFC undecidability result, namely that the consistency of ZFC itself was undecidable in ZFC.
Moreover the following statements are independent of ZFC (shown by Paul Cohen and Kurt Gödel):
- The axiom of constructibility (V = L);
- The generalized continuum hypothesis (GCH);
- The continuum hypothesis (CH);
- The diamond principle (◊);
- Martin's axiom (MA);
- MA + ¬CH.
Note that we have the following chains of implication:
- V = L → ◊
- V = L → GCH → CH.
Assuming that ZFC is consistent, the existence of large cardinal numbers, such as inaccessible cardinals, Mahlo cardinals etc., cannot be proven in ZFC. On the other hand, few working set theorists expect their existence to be disproved.
Read more about this topic: List Of Statements Undecidable In ZFC
Famous quotes containing the words axiomatic, set and/or theory:
“It is ... axiomatic that we should all think of ourselves as being more sensitive than other people because, when we are insensitive in our dealings with others, we cannot be aware of it at the time: conscious insensitivity is a self-contradiction.”
—W.H. (Wystan Hugh)
“There is nothing less to our credit than our neglect of the foreigner and his children, unless it be the arrogance most of us betray when we set out to “americanize” him.”
—Charles Horton Cooley (1864–1929)
“The theory seems to be that so long as a man is a failure he is one of God’s chillun, but that as soon as he has any luck he owes it to the Devil.”
—H.L. (Henry Lewis)