Input (grade 13): 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.
Output (grade 12): Also, Gödel numbering implies that each inference rule of the formal system can be expressed as a function of natural numbers.