Sekirov Dictionary

Gödel numbering

noun1

A function assigning a Gödel number to each well-formed formula of some formal language.

forms

Gödel numberings

This dictionary works without the internet: on your phone · in Chrome