Teorema de Löwenheim-Skolem
Löwenheim–Skolem theorem
- Fecha
- 1915 · fiabilidad alta
- Lugar
- Berlín, Alemania
- Autoría
- Thoralf Skolem y Leopold Löwenheim
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de lógica matemática según el cual toda teoría de primer orden numerable con un modelo infinito tiene modelos de cualquier cardinalidad infinita, formulado por Leopold Löwenheim y generalizado por Thoralf Skolem.
A qué dio paso
- Teoría de modelos
- Paradoja de Skolem sobre la teoría de conjuntos
- Fundamentos de la lógica matemática
- Límites expresivos de la lógica de primer orden