然而，它们挑战了关于无限强公理的常规直觉。 我们证明，“超精确基数”在存在I₀嵌入的假设下，与包含选择公理(ZFC)的Zermelo-Fraenkel集合论是相容的。然而，如果一个可测基数以下存在超精确基数，这将意味着ZFC与包含适当类I₀嵌入的一致性，从而挑战了大 ...