Arithmetische Sprache/Unendlich viele Primzahlen/Formalisiere/Aufgabe

Aus Wikiversity

Formalisiere in der arithmetischen Sprache die (wahre)

Aussage, dass es unendlich viele Primzahlen gibt.