PanLinx
français
fra-000
nombre de Gödel
English
eng-000
Gödel number
PanLex