Full Idea
Use of the Deduction Theorem greatly simplifies the search for proof (or more strictly, the task of showing that there is a proof).
Gist of Idea
The Deduction Theorem greatly simplifies the search for proof
Source
David Bostock (Intermediate Logic [1997], 5.3)
Book Reference
Bostock,David: 'Intermediate Logic' [OUP 1997], p.206
A Reaction
See 13615 for details of the Deduction Theorem. Bostock is referring to axiomatic proof, where it can be quite hard to decide which axioms are relevant. The Deduction Theorem enables the making of assumptions.
Related Idea
Idea 13615 'Conditonalised' inferences point to the Deduction Theorem: If Γ,φ|-ψ then Γ|-φ→ψ [Bostock]