PanLinx
русский
rus-000
конечная индукция
English
eng-000
finite induction
PanLex
