Дело не в этом, а в том, что сущее не обязано быть доказуемым. Например, во Вселенной уйма всего такого, существование чего из аксиом не вывести. Тогда как журналюги с завидным упорством продолжают считать, что недоказуемое невозможно, полагая, что так Гёдель сказал.