<logic> A statement about a formal system (as opposed to a wff inside it) proved either informally or by appeal to axioms and rules from another system (as opposed to proved inside the system as a theorem).
[Glossary of First-Order Logic]
Try this search on OneLook / Google