Значит. Правила вывода все равно надо как-то описывать, на каком-то метаязыке. Описание - значит выразимое.
Бесконечное описание - это что? Можете привести пример вещи, описываемой бесконечно? Я вот на любой пример, всплывающий в голове нахожу конечное описание.