We prove that the existence of a complete metric space of cardinality at most 2κ2κ admitting Kuratowski partition is a consequence of κκ being the smallest real-valued measurable cardinal not greater than 2ℵ02ℵ0.
生成讲解博客的中文版本
生成AI智能校验的中文版本