Polynom über N/Repräsentierbar in PA/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei

eine Polynomfunktion mit mit Koeffizienten . Zeige, dass durch den Ausdruck in der erststufigen Peano-Arithmetik repräsentiert

wird.
Eine Lösung erstellen