Der Satz, der aussagt, dass es unendlich viele Primzahlen gibt; klassisch bewiesen durch Konstruktion einer neuen Zahl aus einer endlichen Liste von Primzahlen, die einen Primfaktor liefert, der nicht in der Liste steht.

Prinzip

Das ordnende Prinzip ist ein Konstruktionsbeweis, der zeigt, dass jede endliche Menge von Primzahlen erweitert werden kann: Man bildet das Produkt der gelisteten Primzahlen und addiert eins (oder modifiziert anders), um einen neuen Primfaktor zu erzwingen und die Endlichkeit zu widersprechen.

Demonstration

Konkretes Beispiel: Für die Primzahlen 2, 3, 5 ist das Produkt 30 und 30 + 1 = 31, das prime ist; somit enthielt die endliche Liste nicht alle Primzahlen.

Fehlanwendung

Häufiger Missbrauch ist die Schlussfolgerung, das (Produkt + 1)-Zahl müsse stets selbst prim sein; allgemein kann sie zusammengesetzt sein, besitzt aber trotzdem Primfaktoren außerhalb der ursprünglichen Liste.

Konsequenz

Richtig angewandt beweist der Satz die Unendlichkeit der Primzahlen, bildet die Grundlage vieler weiterer Resultate zur Verteilung von Primzahlen und dient als Basiswerkzeug für Beweise, die neue Primfaktoren benötigen.

Umkehrung

Die Umkehrung würde behaupten, eine endliche Menge Primzahlen genüge für alle Zahlen, was die arithmetische Struktur zerstörte; die Negation der Konstruktion führt unmittelbar zum Widerspruch, weil jede angeblich maximale Liste erweiterbar ist.

Abgrenzung

Geltungsbereich: betrifft Primzahlen in den ganzen Zahlen; er liefert keine Informationen über die Häufigkeit des Auftretens von Primzahlen (Dichte), noch erzeugt er eine explizite Liste aller Primzahlen oder enge Schranken für Lücken.

Semantische Spannung

Spannung besteht zwischen diesem elementaren konstruktiven Beweis und analytischen Ansätzen (z. B. Eulers Produkt oder der Primzahlsatz), die Dichte und asymptotische Eigenschaften behandeln statt reiner Existenz.

Synthese

Euklids Satz ist die elementare konstruktive Aussage, dass Primzahlen unerschöpflich sind: Aus jeder endlichen Sammlung lässt sich eine Zahl erzeugen, deren Primteiler außerhalb der Sammlung liegen, womit die Unendlichkeit gezeigt und die Verteilung anderen Methoden überlassen wird.