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