List of Statements Undecidable in ZFC

List Of Statements Undecidable In ZFC

The mathematical statements discussed below are provably undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), assuming that ZFC is consistent.

Read more about List Of Statements Undecidable In ZFC:  Axiomatic Set Theory, Set Theory of The Real Line, Order Theory, Group Theory, Measure Theory, Functional Analysis

Famous quotes containing the words list of, list and/or statements:

    Religious literature has eminent examples, and if we run over our private list of poets, critics, philanthropists and philosophers, we shall find them infected with this dropsy and elephantiasis, which we ought to have tapped.
    Ralph Waldo Emerson (1803–1882)

    Hey, you dress up our town very nicely. You don’t look out the Chamber of Commerce is going to list you in their publicity with the local attractions.
    Robert M. Fresco, and Jack Arnold. Dr. Matt Hastings (John Agar)

    Dogmatic theological statements are neither logical propositions nor poetic utterances. They are “shaggy dog” stories; they have a point, but he who tries too hard to get it will miss it.
    —W.H. (Wystan Hugh)