SKOLEM-LÖWENHEIM (TEOREMA DE)
El matemático alemán Leopold Löwenheim presentó, y probó, un teorema que tiene importancia en la esfera de la validez de fórmulas del cálculo de predicados de primer orden (cálculo cuantificacional elemental). Es asimismo importante en el desarrollo de la teoría reductiva de la prueba y en el problema de la decisión (véase Decidible). El teorema, llamado «teorema de Lowenheim», reza como sigue: «Si el dominio es cuando menos numerablemente infinito, no ocurre que una ecuación fugaz de primer orden sea satisfecha para valores arbitrarios de los coeficientes relativos» (donde
