互いに独立な集合の公理系があることの意味は何だろう？
結局、集合を公理でもって制限することの限界性を示して
いるのではないだろうか。そして、集合論によって数学を
基礎付けるよりも圏論を数学の基礎とすることの優位性を
示しているようにも思われる。グロタンディークによって
徹底的に推し進められた、ジェネラル･ナンセンスの手法に
こそ数学の本質が隠されているのではないだろうか。