数学といえども日本語や英語などの自然言語を使わざるを得ない。
一方自然言語を厳密に定義することなど不可能。
だから数学に究極的な厳密さを求めることなど無意味だと思うね。