In each case we merely set up a conj unction of postulates for that branch as true by fiat, as a conventional circumscrIption of the meanings of the constituent primitives, and all the theorems of the branch thereby become true by convention: the convention thus newly adopted together with the conventions I.