Submitted by György Chityil ... on Fri, 01/19/2018 - 18:09 Hierarchy: NounDescription: {{logic}} A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.Ngram: Gödel numberNgram Text: Gödel numberSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2
