teorém Löwenheimův-Skolemův
Matematika
Teorém, podle něhož každý výraz predikátového kalkulu prvního stupně s identitou je buď nesplnitelný, nebo je splnitelný v konečné, respektive spočetně nekonečné oblasti zkoumání. Má-li tedy výraz tohoto kalkulu nějaký model, má model v každé spočetně nekonečné množině objektů.
Vytvořeno:
14. 3. 2000
Aktualizováno:
8. 2. 2025
Autor: -red-
Odkazující hesla: Skolemův paradox.