PanLinx
русский
rus-000
теорема представимости
English
eng-000
representability theorem
PanLex