PanLinx
русский
rus-000
система постулатов
English
eng-000
set of postulates
PanLex