Sentence examples similar to is provable through from inspiring English sources

This principle is provable in Peano Arithmetic.

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

saying that for any two sentences there is a third sentence which is provable if and only if either of the first two sentences is provable.

However, neither SKK ≥ SK KK) nor SK KK) ≥ SKK is provable in CL≥; a fortiori, the equality of the two terms in not provable in CL=.

The remaining fourth De Morgan law is provable in the presence of double negation elimination.

Soundness, in particular, tells us that no invalid formula is provable in the system.

Finally, in 1974, Martin proved the landmark result that Δ̰11-determinacy is provable in ZFC.

Further, the Axiom of Choice is provable in von Neumann's system.

Heyting also proposes a provability operator +, where +p means "p is provable".

The truth is plain, and it is provable.

If the second statement is true, then the first one is provable -- and anything provable must be true.