12/03/04 18:20:53.43
>>477
集合論を基礎においてるのはそのとうりだが、
それ以前にあんたの言う定義や公理から出発して論理的に、演繹的に
というのがブルバキを特徴付けてるだろ。
Elementsという名前からしてユークリッド原論を意識してるのは明らか。
GrothendieckのEGAも同様
12/03/04 18:20:53.43
>>477
集合論を基礎においてるのはそのとうりだが、
それ以前にあんたの言う定義や公理から出発して論理的に、演繹的に
というのがブルバキを特徴付けてるだろ。
Elementsという名前からしてユークリッド原論を意識してるのは明らか。
GrothendieckのEGAも同様