PanLinx
English
eng-000
prove by induction
русский
rus-000
определять индуктивно
PanLex