We can continue in this fashion to any desired point, circumscribing one primitive a fter an other by convention, and rendering conventi all true all known truth, which under ordinary usage are truths essentially volvmg only the lo cutions treated up to that point.