Sentence examples for that is provable from inspiring English sources

The verification condition is a predicate that is provable only if the code meets the safety policy.

We should aim to obtain consent in a form that is provable.

Conservativeness criterion (syntactic formulation): Any formula of \(L\) that is provable in \(L^\) is provable in \(L\).

That is, any formula of \(L\) that is provable using definition \(\mathcal{D}\) is also provable without using \(\mathcal{D}\): the definition does not enable us to prove anything new in \(L\).

To enable us to film in highly sensitive medical environments, or on location with the emergency services, we distinguish between consent to film (often verbal) and consent to broadcast (always in a form that is provable, often in writing).

Like him, I can't think of any that are provable.

The axiom to be shown independent can then acquire some undesired value, whereas all the theorems that are provable without this axiom always get the desired values.

Sagan calmly explains in the book that there are natural physical phenomena that are provable, and others that are not, and that there exists in the scientific method a mechanism for telling this stuff apart.

Thus, the existence of undecidable sentences in each such theory points out an inevitable gap between the sentences that are true in mathematics and sentences that are provable within a single axiomatic theory.

The latter are verified in the local contexts only for the instances for which no exception to overriding exists, where exceptions require a justification in terms of facts that are provable from the knowledge base.

(By 'theorems' we mean results that are provable within the branch of mathematics in question).