Skolem Paradox

• First-order ZFC has countable models.

• But these models “contain” uncountable sets (internally).

• Arises from lowenheim skolem theorem