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 more mysterious than a TV set left on in an empty room. It is even stranger than a man talking to himself or a woman standing dreaming at her stove. It is as if another planet is communicating with you.”
—Jean Baudrillard (b. 1929)
“... liberal intellectuals ... tend to have a classical theory of politics, in which the state has a monopoly of power; hoping that those in positions of authority may prove to be enlightened men, wielding power justly, they are natural, if cautious, allies of the “establishment.””
—Susan Sontag (b. 1933)