PanLinx
русский
rus-000
независимый постулат
English
eng-000
independent postulate
PanLex