  This means that in general proof theory we are not solely interested in whether B follows from A, but in the way by means of which we arrive at B starting from A. In this sense general proof theory is intensional and epistemological in character, whereas model theory, which is interested in the consequence relation and not in the way of establishing it, is extensional and metaphysical.