しかし基礎の集合論を知らないとそもそも位相の勉強ができないでしょ？
だから数学を学ぶための基礎的なツールとしての基礎の集合論と
公理的集合論とは違うってことかもね

だったら数学を学ぶための基礎的なツールとしての基礎の圏論が
あってもいい気がするよってことなんだけど