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)
“He turns agen and drives the noisy crowd
And beats the dogs in noises loud.
He drives away and beats them every one,
And then they loose them all and set them on.
He falls as dead and kicked by boys and men,
Then starts and grins and drives the crowd agen;
Till kicked and torn and beaten out he lies
And leaves his hold and cackles, groans, and dies.”
—John Clare (1793–1864)
“Could Shakespeare give a theory of Shakespeare?”
—Ralph Waldo Emerson (1803–1882)