Changes

[[Kurt Godel]] ended the grand ambition of set theory in 1931 by showing that no one can ever prove that mathematics is entirely consistent (i.e., without internal contradiction) or complete (i.e., all math statements can be proven true or false).

[[Kurt Godel]] ended the grand ambition of set theory in 1931 by showing that no one can ever prove that mathematics is entirely consistent (i.e., without internal contradiction) or complete (i.e., all math statements can be proven true or false).