强迫和连续统假设的愉快介绍
A Cheerful Introduction to Forcing and the Continuum Hypothesis
摘要：
这是一个介绍集合论方法的强制，包括它的应用证明独立的连续统假设从泽梅洛-弗兰克尔公理的集合论。除了对集合论和数理逻辑有一定的了解之外，我不预设任何特定的数学背景--特别是，不预设任何代数，尽管它可能很有用。我们的目标是有一个文件，使这一材料可访问的数学研究生在所有领域，哲学家有兴趣在集合论和数理逻辑，但没有其他数学背景。
英文摘要：
This is an introduction to the set-theoretic method of forcing, including its application in proving the independence of the Continuum Hypothesis from the Zermelo-Fraenkel axioms of set theory. I presuppose no particular mathematical background beyond some familiarity with set theory and mathematical logic - in particular, no algebra is presupposed, though it can be useful. The goal is to have a document that makes this material accessible to mathematics graduate students in all fields, and to philosophers with an interest in set theory and mathematical logic but no other mathematical background.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
