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