Skolem's paradox demonstrates that any first-order theory of sets has a countable model, making 'unc...