数学中的独立性现象：当前障碍与解决方案场景的集合论视角
Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
AI总结：
本文从集合论视角探讨ZFC公理无法解决的数学独立性现象，概述ZFC扩展及其在理解集合论宇宙影响上的障碍与进展，旨在为数学识别“正确”公理。
摘要：
集合论的标准公理，即Zermelo-Fraenkel公理（ZFC），不足以回答数学中的所有问题。虽然这从Kurt Gödel著名的不完备性定理中抽象地得出，但如今我们已知许多此类问题的具体实例。集合论中的大量问题，例如Lebesgue可测性和Baire性质等正则性质，对于甚至相当简单（例如射影）的实数集，ZFC也无法判定。甚至集合论之外的许多问题也被证明是不可解的，意味着它们的真或假都无法从ZFC中证明。集合论的一个主要部分致力于通过研究ZFC的各种扩展及其性质来解决这个问题。我们概述了其中一些扩展，并解释了在理解它们对集合论宇宙影响方面的当前障碍，以及这些问题的最新进展和未来场景。这项工作与为数学识别“正确”公理的总体目标相关。
英文摘要：
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel's famous incompleteness theorems, we nowadays know numerous concrete examples for such questions. A large number of problems in set theory, for example, regularity properties such as Lebesgue measurability and the Baire property are not decided - for even rather simple (for example, projective) sets of reals - by ZFC. Even many problems outside of set theory have been showed to be unsolvable, meaning neither their truth nor their failure can be proven from ZFC. A major part of set theory is devoted to attacking this problem by studying various extensions of ZFC and their properties. We outline some of these extensions and explain current obstacles in understanding their impact on the set theoretical universe together with recent progress on these questions and future scenarios. This work is related to the overall goal to identify the "right" axioms for mathematics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
