PanLinx
русский
rus-000
энумеративная индукция
English
eng-000
induction by enumeration
PanLex