ゲーデル数
In computability theory, the term "Gödel numbering" is used in settings more general than the one described above. It can refer to: