nezávislost axiómů
nezávislost axiómů, log . 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 opačném případě jeteorémem dané soustavy a nepatří do souboru axiómů.