З того, що якась одна аксіома А 1
формальної теорії виводиться з інших аксіом цієї теорії, слідує:

Question

З того, що якась одна аксіома А 1 
формальної теорії виводиться з інших аксіом цієї теорії, слідує:

Answer

система аксіом є залежною

Answer

у цій теорії існує вивід аксіоми А 1  із застосуванням інших аксіом теорії

Answer

у цій теорії існує вивід всіх аксіом із аксіоми А 1

Answer

система аксіом є незалежною

Crowdly