Hypothesis

A hypothesis says something irrespective of result. We say that there is no relation between the hypothesis and any sentence or that the relation is explicitly undefined. By comparison, recall the relation between a theory and any sentence is implicitly undefined.

Note that hypotheses are defined in an analogous way to operators, which do something irrespective of result. If we allow that "says" is continuous with "does", then hypotheses and operators are equivalent up to homotopy.

In the provisional formalism, a hypothesis is written $$R_m$$.