http://www.w3.org/ns/prov#value | - Your example seems dubious to me because whatever the theory $T$ might turn out to be as a set of sentences, by looking at that set of sentences we can easily tell whether the theory is complete or incomplete; it is just that we do not know what set of sentences the theory is.
|