law of excluded middle

Закон исключенного третьего