A Henkin witness axiom names a witness to an existential sentence using a fresh constant symbol. Freshness is part of the consistency-preservation argument in the Henkin construction.
New to topics? Read the docs here!
New to topics? Read the docs here!