曖昧な要素を一切排除した言語が数学
ゆえに学問の場で用いられる