PanLinx
русский
rus-000
теорема о перечислении
English
eng-000
enumeration theorem
PanLex