Sprzeczny zbiór formuł zdaniowych
Zbiór formuł zdaniowych jest niesprzeczny (spotyka się również określenie absolutnie niesprzeczny) jeśli istnieje formuła zdaniowa taka, że nie daje się dowieść ze zbioru
Gdy takiej formuły nie ma, mówimy, że zbiór jest sprzeczny (absolutnie sprzeczny).
Zbiór formuł zdaniowych jest sprzeczny względem negacji wtedy i tylko wtedy, gdy istnieje taka formuła zdaniowa że ze zbioru można udowodnić zarówno jak i jej negację, W większości używanych systemów wnioskowania niesprzeczność względem negacji jest równoważna absolutnej niesprzeczności.
