antagande

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.