PanLinx
русский
rus-000
метаматематический предикат
English
eng-000
metamathematical predicate
PanLex