For this latter point arises out of the demand that statements of a high level of universality should be chosen, and that a system consisting of many 'axioms' should, if possible, be deduced from (and thus explained by) one with fewer 'axioms', and with axioms of a higher level of universality.