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

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

Eine Lösung erstellen