设定以Y表示所有数的类，那么Y必然是ZFC无法指称的，用ZFC解释“所有数的类”本身无法指称，因为在ZFC隶属的形式系统中，无法对“所有”生效，所以ZFC是无法指称Y这个“所有数的类”，也就是说，Y在ZFC上是不可证明的。
然而，罗素公理体系可以证明，Y可以解释为包含自身而非集合的类，因为“所有”包括自身，所以可以解释为包含自身的数的类。
当然还有一个是ZFC难以或无法证明的，就是“所有数”不属于数集，在罗素公理体系中，“所有”包括“所有”自身，而包括自身的集合不存在，所以“所有数不属于数集”。

最后那一点打错了，是“所有数”不属于数集

@宇宙海星 @S303（S000） @GOZMIN @Ω阶逻辑 这个科普怎么样？

顶