PanLinx
русский
rus-000
сколемовская константа
English
eng-000
skolem constant
PanLex
