Original: If f is the Gödel mapping and if formula C can be derived from formulas A and B through an inference rule r; i.e.
Simplified: A, B vdash_r C,