Mathematician:Thoralf Skolem