いや、いいわ。数学と論理には集合論が必要、その根拠は集合論の欠点を治すには
論理が必要、というトートロジーだ。自分にとって意味のない質問をするのは
悪意だな。スマン。