Prädikatenlogik/Formalisiere/Wahre Aussagen über Primzahlen/Aufgabe

Formalisiere in der arithmetischen Sprache die folgenden wahren Aussagen.

1. Es gibt unendlich viele Primzahlen.
2. Jede natürliche Zahl ${}\geq 2$ wird von einer Primzahl geteilt.

Eine Lösung erstellen