PROFESSION:  mathematician

TRAVELS:  Author of Skolem's paradox,which esplains that every countable axiomatisation of set theory in first-order logic, if it is consistent, has a model that is countable.

RELATED TITLES: