This is a working example of Gödel numbering as applied to the formal system as described in the New Turing Omnibus.
Written by Chris Patuzzo, View the code on GitHub