Gödelův teorém o úplnosti
Teorém, podle něhož predikátový kalkul prvního stupně s identitou je sémanticky úplný: každá logicky pravdivá formule tohoto kalkulu je také logicky platná. Úplnost byla později prokázána i pro vícehodnotový a intuicionistický predikátový kalkul.
Vytvořeno:
14. 3. 2000
Aktualizováno:
8. 2. 2025
Autor: -red-