Henkinův svědek

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

$\exists x.P(x)\supset P(c)$

a pro univerzální

$P(c)\supset \forall x.P(x)$

V teorii arbitrárních objektů odpovídá svědek pro univerzální kvantifikaci typickému prvku množiny.