Which group was there no systematic program for their elimination ?
" Quantifier elimination " is a term used in mathematical logic to explain that , in some theories , every formula is equivalent with a formula without quantifier .