Thoralf Skolem demostró una segunda versión del teorema en 1919.