Los matemáticos se refieren a esta precisión en el lenguaje y en la lógica como el «rigor».