Théorème affirmant que tout entier strictement supérieur à un s'écrit comme produit de nombres premiers et que cette factorisation est unique à l'ordre des facteurs près (et à des unités ±1 près dans Z).
Énoncé selon lequel tout entier >1 se factorise de manière unique comme produit de nombres premiers, à l'ordre des facteurs près ; les nombres premiers sont les atomes multiplicatifs des entiers.
L'énoncé selon lequel tout entier supérieur à un peut être exprimé comme produit de nombres premiers et que cette factorisation est unique à l'ordre des facteurs près.