用于假设的射影代数：解决维格纳谜题与外部领域的存在性

自然哲学将科学观测与抽象框架相结合，常利用数学假设（Ansatz）对物理现象进行假说。然而，探索其他宇宙的可能性挑战了物理定律（如时空几何）延伸至我们现实之外的假设。本文认为，作为超越物理约束的望远镜，数学抽象使此类推理成为可能。通过射影代数形式体系（第 4 节），我们模拟了假设的机制，抽象地描述了物理对象。这通过基数等价性（第 5 节）解决了维格纳提出的“不合理的有效性”问题，并阐明了“证据”和“存在”等术语（第 6 节），使其与物理学惯例保持一致。一个受康托尔启发的悖论表明，没有任何宇宙能包含所有数学抽象（如集合、数字），因为其幂集超过了它本身，从而需要一个外部抽象领域（第 6.4 节）。这一逻辑必然性即使在替代集合论（如新基础集合论）的背景下也成立，为作为抽象领域的最小外部宇宙提供了证据，支持了数学实在论。只要承认集合论原理在数学上是有效的，此结果就不特定于该形式体系。由于抽象实体难以通过经验探测，逻辑证据是恰当的，这将指导未来的科学与哲学研究，并促进跨学科探究。