PanLinx
русский
rus-000
гёделевский номер
English
eng-000
Godel number
PanLex