错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

What Do the Founding Set Theorists Think About the Foundations?

  • Alexander Soifer

摘要

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]: