Godel's Proof

by Ernest Nagel

Moreover, when a system has been completely formalized, the derivation of theorems from postulates is nothing more than the transformation (pursuant to rule) of one set of such “strings” into another set of “strings.”