Question

有没有什么数学理论是无法证明的

Answer 1

这种【问题】有一个数学【专业】的术语,叫“独立性independency”.

有一个非常著名的例子,就是康托尔连续统假设,是希尔伯特 23 个问题中的第一个.

康托尔连续统假设,在 ZFC 公理系中是无法【证实】的,也是无法【证伪】的.

这个“独立性independency”,是科恩【证明】的,是非常有名的【结论】