 the logical truths, being infinite in number, must be given by general conventions rather than singly; and logic is needed then in the meta-theory, in order to apply the general conventions to individual cases (CLT, p. 115)