>>754
記述がすっきりしてないと、研究者の直感も働かないだろ。
同じこと研究してれば、すっきりした道具使ってるほうが有利。
逆に集合論だけあればいいわけでもないし。