En matemáticas, es toda proposición que partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente por sí misma.