PanLinx
беларуская
bel-000
дэдукцыі тэарэма
русский
rus-000
дедукции теорема
PanLex