誰が読んでも曖昧さがなくなるように工夫して自然言語で記述できるように研鑽するのも数学じゃないかね