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:

    I made a list of things I have
    to remember and a list
    of things I want to forget,
    but I see they are the same list.
    Linda Pastan (b. 1932)

    Thirty—the promise of a decade of loneliness, a thinning list of single men to know, a thinning brief-case of enthusiasm, thinning hair.
    F. Scott Fitzgerald (1896–1940)

    Is it true or false that Belfast is north of London? That the galaxy is the shape of a fried egg? That Beethoven was a drunkard? That Wellington won the battle of Waterloo? There are various degrees and dimensions of success in making statements: the statements fit the facts always more or less loosely, in different ways on different occasions for different intents and purposes.
    —J.L. (John Langshaw)