証明の形式化を（道具として）必要としている限り、
論理学の一部であるというのは必ずしも一般的な意見じゃない。

強制法を使わないと示せない定理は全部論理学の研究成果だというのは無理だと思う。

あと、「集合論は論理学なんかじゃない」、じゃなくて
「論理学に詳しくなくても集合論自体の研究は充分できるし、
実際にそうしている人が多いので自分が集合論を研究しているからといって
論理学研究者だと主張できるわけじゃない」
みたいな言い方だったと思うけどな