Arithmetische Sprache/Unendlich viele Primzahlen/Formalisiere/Aufgabe

Formalisiere in der arithmetischen Sprache die (wahre) Aussage, dass es unendlich viele Primzahlen gibt.

Zur Lösung, Alternative Lösung erstellen