úplnost axiomatické soustavy

Jeden z požadavků na vlastnosti axiomatické soustavy. Axiomatická soustava je úplná, když všechna pravdivá tvrzení, která do ní patří, jsou v ní dokazatelná, tj. odvoditelná z axiómů. Soudobá logika rozlišuje tzv. syntaktickou úplnost a sémantickou úplnost (úplnost vzhledem k určité interpretaci).

Vytvořeno: 14. 3. 2000
Aktualizováno: 19. 11. 2007
Autor: -red-