Henkin constant

…provided sufficiently many variables (Henkin constants) are adjoined to its internal language. Put in more technical language, this makes the possible worlds of mathematics stalks of a sheaf. However, the question still remains as to where this sheaf lives if not in a distinguished world of mathematics or—perhaps better…