LÖWENHEIM, LEOPOLD (1878-1957)
Nac. en Krefeld (Alemania), siguió al lógico y matemático Ernst Schröder. Trabajó en problemas concernientes al cálculo lógico de dominios y también en la aplicación del «cálculo de relativos» de Schröder. Dentro del último presentó y probó (1915) el llamado «teorema de Löwenheim», según el cual un conjunto consistente de axiomas que sea válido en un dominio numerable, es válido en cualquier dominio de interpretación no-vacío. Skolem generalizó el principio y lo aplicó a sistemas de axiomas para los números reales.
