Mathematicians refer to this precision of language and logic as "rigor".
Các nhà toán học gọi sự chính xác này của ngôn ngữ và logic là "tính chặt chẽ."