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