Fundamentalsatz der Arithmetik
Der Fundamentalsatz der Arithmetik besagt, dass jede natürliche Zahl eine Primfaktorzerlegung besitzt und dass diese bis auf die Reihenfolge der Faktoren eindeutig ist.Zum ersten Mal vollständig und korrekt bewiesen findet sich der Fundamentalsatz der Arithmetik in der Disquisitiones Arithmeticae von Carl Friedrich Gauß. Er war aber bereits - wenn auch in leicht abgewandelter Form - Euklid bekannt.
Bemerkenswert ist, dass der Beweis der Eindeutigkeit der Zerlegung nicht ohne die additive Struktur der natürlichen Zahlen auskommen kann. Ein Beispiel, aus dem hervorgeht, warum dies so ist, geht auf David Hilbert zurück: Betrachtet man die Menge