  Local set theories might lack sufficient terms to represent all syntactic
functions. A procedure is presented to remedy that. Its approach makes explicit
the extent to which syntactic bijections serve as logical parameterizations in
this setting. Furthermore, a category-theoretical framework is provided for
these parameterizations in the presence of a Nullstellensatz.
