e/sk/Úplnosť axiomatickej teórie

Information
instance of	e/Theory

Meaning
Slovak
has gloss	slk: Úplnosť axiomatickej teórie je dokázanosť všetkých pravdivých viet danej teórie v danom axiomatickom, formálnom systéme, t.j. ich odvodenosť z axióm. Logicko-metodologická požiadavka úplnosti axiomatickej teórie sa kladie na axiomaticky vybudované teórie.
lexicalization	slk: Úplnosť axiomatickej teórie