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 .