Bourbakiの重要な思想のひとつは、誰かが書いていたけど、
数学的概念をどんどん一般化していくと定理の証明がどんどん簡単になり、
極端にいうと定義のみだけで証明はいらなくなるという。
典型的な例はStokesの定理。De Rhamの定理なんかもそう。
これはGrothendieckの思想でもある。GrothendieckはBourbakiにいたから
当然とも言えるが。