Gödel-Nummerierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Kodierungstechnik (Arithmetisierung), die syntaktischen Objekten (Symbole, Formeln, Folgen, Beweise) natürliche Zahlencodes zuweist, sodass syntaktische Relationen arithmetisch ausdrückbar und manipulierbar werden.