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

Formalisiere in der arithmetischen Sprache die folgenden zahlentheoretischen Vermutungen.

1. Die Goldbach-Vermutung.
2. Die Vermutung über die Unendlichkeit der Primzahlzwillinge.
3. Die Vermutung über die Unendlichkeit der Mersenne-Primzahlen.

Eine Lösung erstellen