量詞消去

量詞消去（elimination of quantifier）是1993年公佈的數學名詞。