>定式化が明確？：私はそうは思わない。
どこが不明確なんだろう？
>定式化が現代的？：私はそうは思わない
Bourbaki的じゃない，の間違いだろ．
>証明が厳密？：私はそうは思わない。
どこがだろ？