Формулировка закона исключенного третьего и обоснование невозможности его отрица