小模型能理解无限集吗？

洛文海姆-斯科伦定理揭示了一个令人费解的真相。任何描述无限结构的数学理论，例如实数的广阔性，也都有一个更小的、可数的模型。这意味着即使是证明存在不可数集的理论，也可以由从外部看是可数的模型来表示。这导致了斯科伦悖论。一个可数的模型如何能“知道”不可数的无限呢？答案在于相对性。模型内部不可数的东西，在外部看来却是可数的。这突出表明，数学真理可能相对于模型而言，挑战了我们对大小和无限的绝对观念。