Gödelization noun1 •Gödel numberingGödelizations with bijective mapping β are of special interest. — 2013 formsGödelizations