nezávislost axiómů
Logika, jeden z požadavků na vlastnosti axiomatické soustavy. O každém z axiómů dané axiomatické soustavy má platit, že není odvoditelný z axiómů ostatních. V o pačném případě je teorémem dané soustavy a nepatří do souboru axiómů.
Vytvořeno:
14. 3. 2000
Aktualizováno:
24. 11. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!