Original: Once a Gödel numbering for a formal theory is established, each inference rule of the theory can be expressed as a function on the natural numbers.
Simplified: Also, Gödel numbering implies that each inference rule of the formal system can be expressed as a function of natural numbers.