Abstract:
The reduction of the classical arithmetic derivations used by Gentzen in [1] has not been till now put in practive. In the article a reduction which presents a considerable simplification of the reduction in [1] is suggested. Applying the methods of [3] this reduction can be used for normalization of the derivations. The derivation ordinal as in [1] is a strictly monotonous one unline that used by Gentzen in [2].