集合論は logic ではない。
しかし mathematical logic and foundations の一部である。
これらから導かれる結論は簡単で、集合論は foundations だということだ。