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