Thus Carnap's distinction between internal and exter nal, based as it is upon a distinction between category questions and sub class questions, is of little concern to us apart from the adoption of something like the theory of types.