Similarly, many of the syntactic results in proof theory can be proved in PRA, which implies that there are primitive recursive functions that carry out the corresponding syntactic transformations of proofs.
Слично томе, многи од синтаксних резултата у теорији доказа може се доказати у ПРА, што подразумева да постоје примитивни рекурзивне функције које обављају одговарајуће синтаксичке трансформације доказа.