cross-linked with *conjecture*, adding these lines (following after the paragraph that starts out with “In formal logic…”):

]]>In the practice of mathematics (or beyond), hypotheses that that are

expectedto have a proof, even if currently unknown, are known asconjectures.For example, the “standard conjectures” in algebraic geometry serve as hypotheses in a wealth of theorems which are all proven (only) “assuming the standard conjectures” (cf. e.g. arXiv:9804123).