Skolem Paradox

The apparent tension that first-order logic permits countable models of theories that internally assert the existence of uncountable sets, arising from the Löwenheim–Skolem theorem and the relativity of 'countable' when viewed inside versus outside a model.