What Do the Founding Set Theorists Think About the Foundations?
摘要
Kurt Gödel and Paul J. Cohen believed that we would eventually identify all the axioms of set theory and when we have done so, we will no longer be able to choose between CH and ¬CH (or, similarly, between AC and DC + LM) because the additional axioms would exclude one of the options. Cohen shares his thoughts on the subject in 1966 [Coh2, pp. 150–151, underlining is his]: