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-