추측(영어: Conjecture)은 증명되지 않고 반증되지도 않은 명제를 말한다. 수학에서 가설은 추측의 일종으로 추측 중에서도 특별히 의미를 가지는 것을 말한다. 추측을 증명하면 정리가 된다.
