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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.