oui ça s´appelle même des postulats mathématiques
Pour exemple en géométrie euclidienne, par un point on ne peut mener qu´une parallèle et une seule ( postulat d´Euclide qui ne vaut pas dans une autre géométrie)
Ben pour les distances c pareil, c une définition mathématique, -3 ça existe comme distance c |-3| soit 3 puisque la définition d´une distance est la valeur absolue du nombre trouvé ( j´avais eu un problème en interro un jour comme ça et bien sûr, il fallait mettre les valeurs absolues)
