Это не более чем проблема инструмента
В какой-то аксиоматике есть невычислимые функции и недоказуемые утверждения - это, конечно, может усложнить жизнь и заставить отказаться от инструмента, но об объективной реальности это ничего не говорит