PanLinx
русский
rus-000
перечисляющая индукция
English
eng-000
enumerative induction
PanLex