Выдержка из книги
Гильберт Д.N.
Основания математики
Указанный метод может быть применен и к другим формализмам, отличным от формализма арифметики. На самом деле специфическая роль, которую в процедуре построения резольвенты играют цифры, проявляется лишь в связи с рассмотрением критических формул второго рода, а эти формулы появляются лишь в связи с формализацией принципа полной индукции. Если будут отсутствовать критические формулы второго рода, - а значит, и возникающие из-за них минимальные замены, - то в доказательстве можно будет заменять е-термы не цифрами, а какими-либо термами без переменных; в частности, роль цифры О при этом может быть отдана какому-нибудь специально выделенному для этой цели индивидному символу.
