En förmodan inom matematik är ett påstående som antas vara sant men saknar ett känt bevis eller motbevis. 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.