Mathematician:Th. Skolem