Here, as remarked earlier in the case of logic, there are alternative courses of definition and therewith alternative sets of primitives; but suppose ur procedure to be such as to count 'sphere' and 'includes' among the math ematical primitives.