Gödel number noun1 •A number uniquely assigned to each symbol, and to each well-formed formula of some formal language. formsGödel numbers
