Briefly the point is that the logical truths, being infinite in number, must be given by general conventions rather than singly; and logic is needed then to begin with, in the meta theory, in order to apply the general conventions to individual cases.