Gödelův teorém o úplnosti



Logika, 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: 21. 12. 2007
Autor: -red-