Arithmetische Sprache/Unendlich viele Primzahlen/Formalisiere/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir arbeiten mit und setzen

was die Primeigenschaft von bedeutet. Eine Formalisierung für die Unendlichkeit der Primzahlen ist

da dieser Ausdruck besagt, dass es oberhalb jeder Zahl eine Primzahl gibt.
Zur gelösten Aufgabe