Es sei
eine Polynomfunktion mit f ( n ) = a d n d + a d − 1 n d − 1 + ⋯ + a 1 n + a 0 {\displaystyle {}f(n)=a_{d}n^{d}+a_{d-1}n^{d-1}+\cdots +a_{1}n+a_{0}} mit Koeffizienten a i ∈ N {\displaystyle {}a_{i}\in \mathbb {N} } . Zeige, dass f {\displaystyle {}f} durch den Ausdruck y = a d x d + a d − 1 x d − 1 + ⋯ + a 1 x + a 0 {\displaystyle {}y=a_{d}x^{d}+a_{d-1}x^{d-1}+\cdots +a_{1}x+a_{0}} in der erststufigen Peano-Arithmetik repräsentiert wird.
