即使实数算术是不可数的，它也拥有一个可数的“模型”。
Skolem 悖论
使用 Wolfram|Alpha 探索
参考文献
Curry, H. B. 数理逻辑基础。 New York: Dover, pp. 6-7, 1977.Erickson, G. W. and Fossa, J. A. 悖论词典。 Lanham, MD: University Press of America, pp. 191-192, 1998.在 Wolfram|Alpha 中被引用
Skolem 悖论引用为
韦斯坦因，埃里克·W. "Skolem 悖论。" 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/SkolemParadox.html