산술의 기본 정리(fundamental theorem of arithmetic)는 "1보다 큰 모든 양의 정수는 유한한 개수의 소수의 곱으로 유일하게 표현된다"는 명제를 가리킨다.
즉, 임의의 양의 정수 n에 대해 다음과 같은 식
을 만족하는 소수 와 정수 의 쌍이 유일하게 존재한다.
소인수분해의 유일성 정리라고도 한다.