Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.
Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.
Operátor výběru je v logice operátor nad formulemi zavedený Davidem Hilbertem vracející term, pro který formule platí. V logice prvního řádu například platí . Formalismus podporující operátor výběru se nazývá ε-kalkulus.
Operátor výběru lze použít k eliminaci kvantifikátorů, neboť platí
a
.
Term ve druhé ekvivalenci reprezentuje imaginární prvek, pro který formule platí, platí-li pro celé universum. V tomto smyslu je ekvivalentní Henkinovým svědkům pro univerzální kvantifikaci:
