Skolem's paradox
= Skolem's paradox
{wiki=Skolem's_paradox}
Skolem's paradox is a result in set theory and mathematical logic that highlights a tension between the concepts of countable and uncountable sets, particularly in the context of first-order logic. The paradox arises from the work of Norwegian mathematician Thoralf Skolem in the early 20th century.