核心:判断 p⇒q 与 q⇒p 的真假。
讲"抽象"这件事本身。
亚历山大·格罗滕迪克把抽象推到二十世纪的极致——他不满足于解一个题,他要重建承载这些题的地基。这一讲讲他买到了什么、代价是什么,以及"抽象是方法不是目的"这条界线。