Белгілі бір дедуктивті теорияның аксиомасын басқа аксиомалардан осы теорияны шығару ережесі бойынша бөліп қарай алмаушылық. Аксиомалар жүйесінің тәуелсіздігін зерттеудің елеулі маңызы бар. Мәселен, геометрия аксиомалыры жүйесінде Евклидтің бесінші постулаттың тәселсіздігін тағайындау Евклидтік емес геометриялық (Аксиомалық әдісті) құруға мүмкіндік туғызды.