godel command added. Mathematical formulas to Godel numbering and viceversa.