At least over an algebraically closed field, any given instance will be provable in that complete theory. On the other hand, the usual assertion which quantifies over all line bundles is indirectly making some statement in the language of arithmetic, much as here: mathoverflow.net/questions/105478/… A priori, the same questions apply.
– Adam EpsteinOct 11 '13 at 18:34