En förmodan eller antagande inom matematik är ett påstående som antas vara sant, men som saknar ett känt bevis eller motbevis. (I engelska används benämningen "conjecture".) Ordet hypotes används ibland synonymt, men kan även beteckna ett tillfälligt antagande, exempelvis i ett motsägelsebevis. Om en förmodan kan bevisas blir den en matematisk sats. [1]
