약수가 정확히 두 개(1 또는 자기 자신)인 자연수. 흔히 \mathbb{P}로 쓴다. 소수의 집합은 가산 무한집합(증명은 소수의 무한성을 참고하라)이며 모든 자연수는 그 약수의 갯수에 따라 1(한 개), 소수(두 개), 합성수(세 개 이상)로 나눌 수 있다.
모든 자연수는 하나 이상의 소수의 곱으로 유일하게 나타낼 수 있다. (1을 소수로 인정하지 않는 이유는 여기에서 온다.) 이 때문에 소수는 수론의 주요 연구 대상 중 하나이며 소수에 대한 많은 연구가 진행되고 있다.
