Let Huntington's postulates for Euclidea geometry, and all theorems, be expanded thoroughgoing replace ment of definienda by definientia, so that they come to contain only logi cal expressions and 'sphere' and 'includes,' and let the conj unction of the thus expanded postulates be represented as 'Hunt sphere, includes).