 Obtaining this conviction, or the conviction that these implications don't in fact hold, turns out to be difficult in general. But a remark of Kreisel (1967) establishes that a conviction that they hold can be obtained sometimes. In some cases it is possible to give a mathematical proof that derivability (in some specified calculus \(C\)) is complete with respect to model-theoretic validity, i.e. a proof of