úplnost axiomatické soustavy
ú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á log. rozlišuje tzv. syntaktickou úplnost a sémantickou úplnost (úplnost vzhledem k určité interpretaci).
