Mathematical interpretation of formal systems - Skolem, Th. (Studies in logic and the foundations of mathematics, 1956)