Повнота системи аксіом

якість системи аксіом, в якій всі змістовно істинні формули, записані засобами мови системи, можуть бути виведені за правилами логіки з неї самої