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

ПОВНОТА СИСТЕМИ АКСІОМ

див. повнота у логіці