Los matemáticos se refieren a esta precisión del lenguaje y lógica como "rigor".