Gödel numberings
English
Noun
Gödel
numberings
plural of
Gödel numbering