Toute définition implique un axiome, puisqu'elle affirme l'existence de l'objet défini. La définition ne sera donc justifiée, au point de vue purement logique, que quand on aura démontré qu'elle n'entraîne pas de contradiction, ni dans les termes, ni avec les vérités antérieurement admises.