And that the fund of predicates should be forever subjectto supplementation is implicit in a theorem of mathematics; for it is known that for any the ory, however rich, there are classes which are not the extensions (d. V) of any of its sentences.