A countable mathematical universe can still contain sets it calls 'uncountable'
Set theory proves the real numbers are uncountable — too numerous to ever be matched up one-to-one with the counting numbers. In 1922, Thoralf Skolem showed that if the standard axioms of set theory are logically consistent, they also have a 'model' built from only a countable collection of objects. But that same tiny model still contains something it correctly labels as an 'uncountable' set of real numbers inside it. How can a countable structure contain something truly uncountable?
Reveal the answer
It's not a genuine contradiction, but it is strange: 'countable' and 'uncountable' turn out to be relative to which model you're standing in. From outside, a mathematician can see every object in the model is countable. But from inside, no matching function between that 'uncountable' set and the counting numbers exists within the model's own limited toolkit, even though one exists outside it. Skolem saw this as a warning that first-order logic alone can't fully pin down a concept like size.
— Thoralf Skolem, Some Remarks on Axiomatized Set Theory — 1922