PanLinx
English
eng-000
Gödel numbering
Esperanto
epo-000
Godela numerado
PanLex