... Последовательное доказательство для [любой] системы ... может быть выполнено только с помощью способов вывода, которые не формализованы в системе ... самой.