This is Skolem's paradox.
它是 Skolem 的悖论。