这种【问题】有一个数学【专业】的术语，叫“独立性independency”。有一个非常著名的例子，就是康托尔连续统假设，是希尔伯特 23 个问题中的第一个。康托尔连续统假设，在 ZFC 公理系中是无法【证实】的，也是无法【证伪】的。这个“独立性independency”，是科恩【证明】的，是非常有名的【结论】
