Смысл элиминации в математике — это получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. 3

Другими словами, это процесс нахождения для всякой заданной формулы другой формулы, не содержащей кванторов и эквивалентной данной. 1