>>74
それは良い反論かもしれないね、本当に成り立つかは別として
集合論、圏論、述語論理をただ形式的に走らせても数学的に価値のある内容は
必ずしも出てこない。それはその通りだろう