Аксиома исключённого третьего

Аксиома исключённого третьего — одна из аксиом классической логики, оговаривающая наличие двух значений истинности: 1 (истина) и 0 (ложь). В виде логического высказывания записывается следующим образом:

$x \and \neg x$

В некоторых типах логики эта аксиома выступает в качестве теоремы (закона), в некоторых (например, в интуиционистской логике) эта теорема недоказуема.