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: 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.