Editing Conjecture (section)

==Conditional proofs==
Sometimes, a conjecture is called a ''hypothesis'' when it is used frequently and repeatedly as an assumption in proofs of other results. For example, the [[Riemann hypothesis]] is a conjecture from [[number theory]] that — amongst other things — makes predictions about the distribution of [[prime number]]s. Few number theorists doubt that the Riemann hypothesis is true. In fact, in anticipation of its eventual proof, some have even proceeded to develop further proofs which are contingent on the truth of this conjecture. These are called ''[[conditional proof]]s'': the conjectures assumed appear in the hypotheses of the theorem, for the time being.

These "proofs", however, would fall apart if it turned out that the hypothesis was false, so there is considerable interest in verifying the truth or falsity of conjectures of this type.