PanLinx
русский
rus-000
возвратная индукция
English
eng-000
course-of-values induction
PanLex
