1. 为什么选择公理如此争议重重？
选择公理（AC）表述为：对于任意非空集合的集合，存在一个函数可以从每个集合中选择一个元素。听起来很自然，但当集合是无限集时，我们可能无法明确描述这个“选择”是如何进行的。
巴拿赫-塔斯基悖论的存在直接依赖于选择公理。如果拒绝选择公理（如在某些构造主义数学中），巴拿赫-塔斯基悖论就不成立，但许多其他有用的数学定理（如泛函分析中的哈恩-巴拿赫定理）也会失效。因此，大多数数学家接受AC，并忍受其带来的反直觉后果。
2. 莫比乌斯环与克莱因瓶：拓扑学的奇葩
拓扑学研究物体在连续变形下的性质。以下两个对象是拓扑学中的奇葩代表：
| 对象 | 维度 | 特性 | 直观理解 |
|---|---|---|---|
| 莫比乌斯环 | 2D 曲面 | 单侧、无边 | 将纸条扭转180度后粘合，蚂蚁可以爬遍正反两面而不跨越边缘。 |
| 克莱因瓶 | 3D 嵌入 | 无内外之分 | 四维空间中的封闭曲面。在三维空间中它必须自我相交，就像“瓶子”的颈部穿透瓶身连回底部。 |
| 彭罗斯阶梯 | 视觉错觉 | 非欧几何 | 看似不断上升实则闭合的阶梯，基于不可能图形，挑战空间连续性认知。 |
3. 无穷大也有大小之分？
康托尔（Cantor）的集合论揭示了无穷大并非只有一种。他证明了实数集的无穷大（连续统）严格大于自然数集的无穷大（可数无穷）。
这意味着，在0到1之间的实数数量，比所有自然数的数量还要多。即使你把0到1之间的区间分成无数小段，每一段的实数数量依然等于整个区间的实数数量。这种“部分等于整体”且“部分可以大于整体”的性质，是无限集合最奇葩的特征之一。