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 expected to have a proof, even if currently unknown, are known as conjectures.
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).