Erststufige Peano-Arithmetik/Primzahl/Repräsentierung/Aufgabe

Zeige, dass die Menge der Primzahlen in der erststufigen Peano-Arithmetik repräsentiert

werden kann.