Prädikatenlogik/Formalisiere/Unbewiesene Aussagen über Primzahlen/Aufgabe
Zur Navigation springen
Zur Suche springen
Formalisiere in der arithmetischen Sprache die folgenden zahlentheoretischen Vermutungen.
- Die Goldbach-Vermutung.
- Die Vermutung über die Unendlichkeit der Primzahlzwillinge.
- Die Vermutung über die Unendlichkeit der Mersenne-Primzahlen.