  cannot be proved on the basis of the accepted axioms and rules of inference. (LGTC provides an example of such a theory.) “Yet intuitively it seems certain that the universal sentence A follows in the usual sense from the totality of particular sentences A0, A1, …, An, ….  Provided all these sentences are true, the sentence A must also be true” (Tarski 1983c, p. 411).