Terms for subject Mathematics containing elimination theorem

English	Russian
cut elimination theorem	теорема об элиминации сечений
elimination theorem	элиминационная теорема
quantifiers elimination theorem	теорема об элиминации кванторов