>>397
数学は形式化、抽象化することが良いことだからです