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.
Henkinův svědek je v logické teorii individuum, které je ve vztahu s kvantifikátorem. Pojem byl objeven Leonem Henkinem v rámci jeho důkazu úplnosti logiky prvního řádu.
Pro existenční kvantifikátor máme
a pro univerzální
V teorii arbitrárních objektů odpovídá svědek pro univerzální kvantifikaci typickému prvku množiny.