|
|
|
|
|
|
by kkylin
938 days ago
|
|
|
A well known example (mentioned in the article) is the Continuum Hypothesis (CH; https://en.wikipedia.org/wiki/Continuum_hypothesis). Godel proved CH is consistent with Zermelo-Fraenkel (ZF) set theory; Paul Cohen proved that CH is independent of ZF, and hence CH cannot be decided on the basis of the ZF axioms. By now there are numerous others; this is one of the earliest & best known examples in mathematics. |
|
|