answersLogoWhite

0

In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number. The concept was used by Kurt Gödel for the proof of his incompleteness theorems.

User Avatar

Wiki User

10y ago

What else can I help you with?