Every definition implies an axiom, since it asserts the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until we have proved that it involves no contradiction either in its terms or with the truths previously admitted.