策梅洛-弗兰克尔集合论（ZF）为现代数学提供了怎样的公理化基础？
What axiomatic foundation for modern mathematics does Zermelo-Fraenkel set theory provide?
ZF集合论用外延、配对、并集、幂集、无穷等少量公理严格界定集合的构造，避免了罗素悖论式的自指矛盾。绝大多数现代数学对象都能在其中被定义，是形式化的共同底层。耶赫与库宁的集合论专著是标准参考。
Zermelo-Fraenkel set theory uses a small set of axioms—extensionality, pairing, union, power set, infinity—to rigorously delimit how sets are built, avoiding self-referential contradictions like Russell's paradox. Nearly all modern mathematical objects can be defined within it, forming a common formal foundation. Jech and Kunen are standard references.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-04
来源 · Source
Jech《Set Theory》；Kunen《Set Theory》
Jech, Set Theory; Kunen, Set Theory
独立核验依据 · Independent verification: 核验依据 1 Crossref DOI 10.1007/978-3-662-22400-7
#ZF集合论 #公理系统 #罗素悖论
哥德尔不完备定理对形式系统的能力给出了什么根本限制？
What fundamental limit on formal systems do Gödel's incompleteness theorems establish?
哥德尔第一不完备定理证明，任何包含算术且一致的公理化系统，都存在既不能被证明也不能被否证的命题。第二定理进一步说明该系统无法在自身内证明自身的一致性。哥德尔1931年的论文与斯穆里安的书是权威来源。
Gödel's first incompleteness theorem shows that any consistent axiomatic system containing arithmetic has a statement neither provable nor disprovable within it. The second shows the system cannot prove its own consistency from inside. Gödel's 1931 paper and Smullyan's book are authoritative sources.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-03
来源 · Source
Gödel《Über formal unentscheidbare Sätze》（1931）；Smullyan《Gödel's Incompleteness Theorems》
Gödel, Über formal unentscheidbare Sätze (1931); Smullyan, Gödel's Incompleteness Theorems
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL1867014W：Gödel's incompleteness
#哥德尔不完备定理 #形式系统 #一致性
模型论研究什么？
What does model theory study?
模型论研究形式语言与其解释（模型）之间的关系，关心哪些语句在哪些结构中被满足。它在代数与数论（如Ax-Grothendieck定理）中有惊人应用。
Model theory studies the relation between formal languages and their interpretations (models), i.e. which statements hold in which structures. It has surprising uses in algebra and number theory.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：作者 / 书名 / 版次 / 出版社 / 年份齐备，仅缺独立比对证据；已在可信度报告单列披露，不再重复核验。
Hodges, W. (1993). 《模型论》. Cambridge University Press.
Hodges, W. (1993). Model Theory. Cambridge University Press.
#逻辑 #模型论 #结构
哥德尔完备性定理是什么？
What is Gödel's completeness theorem?
它说一阶逻辑中，一个公式是定理（可证）当且仅当它在所有模型中为真。它把“可证明性”与“普遍真理性”统一起来。
In first-order logic, a formula is provable iff it is true in every model. It unifies provability with universal truth.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录含书名，但缺版次 / 出版社 / 年份中的一部分，需编辑补全后才能做独立比对。
Gödel, K. (1930). 《逻辑函数演算公理的完备性》. Monatshefte für Mathematik und Physik, 37(1), 349-360.
Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik, 37(1), 349-360.
#逻辑 #一阶逻辑 #模型
力迫法（forcing）是什么？
What is forcing?
力迫法是科恩1963年发明的技术，通过“扩充”集合论宇宙来构造新模型，从而证明连续统假设独立于ZFC。它是现代集合论最有力的工具。
Forcing, invented by Cohen in 1963, extends the set-theoretic universe to build models, proving the continuum hypothesis independent of ZFC. It is the premier tool of modern set theory.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录含书名，但缺版次 / 出版社 / 年份中的一部分，需编辑补全后才能做独立比对。
Cohen, P. J. (1964). 《连续统假设的独立性（第二部分）》. Proceedings of the National Academy of Sciences, 51(1), 105-110.
Cohen, P. J. (1964). The independence of the continuum hypothesis, II. Proceedings of the National Academy of Sciences, 51(1), 105-110.
#逻辑 #集合论 #独立性
布尔代数是什么？
What is Boolean algebra?
布尔代数是以“与、或、非”运算处理真值的代数系统，只有真与假两个值。它是数字电路与计算机逻辑门设计的数学基础。
Boolean algebra handles truth values with AND, OR, NOT over just true/false. It is the mathematical basis of digital circuits and computer logic gates.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#逻辑 #布尔 #计算机
皮亚诺公理是什么？
What are the Peano axioms?
皮亚诺公理用“0 和其后继”公理化了自然数：每个数有唯一后继，0不是任何数的后继，归纳法成立。它给算术提供了严格基础。
The Peano axioms formalize naturals via 0 and a successor: each has a unique successor, 0 is first, and induction holds. They give arithmetic a rigorous foundation.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录仅给书名，无版次与年份；同一书名常对应多个版次，不臆测具体版本。
Peano, G. (1889). 《算术原理：用新方法进行表述》. Fratres Bocca.
Peano, G. (1889). Arithmetices Principia, Nova Methodo Exposita. Fratres Bocca.
#逻辑 #自然数 #公理
康托尔对角线论证是什么？
What is Cantor's diagonal argument?
康托尔用构造“对角线”新数的方法证明实数比自然数多，即实数不可数。它是现代集合论与无穷层级的开端。
Cantor proved reals outnumber naturals by constructing a new number differing from each listed one on the diagonal—reals are uncountable. It launched the theory of infinite sizes.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录仅给书名，无版次与年份；同一书名常对应多个版次，不臆测具体版本。
Cantor, G. (1891). 《论集合论中的一个基本问题》. 德国数学会年报 (Jahresbericht der DMV), 1, 75-78.
Cantor, G. (1891). Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 75-78.
#逻辑 #可数 #无穷