12/02/06 07:10:13.30
集合論派は「群全体のなす圏、環全体のなす圏などは集合論で記述できないがそんなのは数学の中でごく例外的」と言い、
圏論派は「置換公理を使うような数学は圏論では記述できないがそんなのは数学の中でごく例外的」と言うわけですね。
お互い自分に都合がいいように「数学」というものを設定していると。
12/02/06 07:10:13.30
集合論派は「群全体のなす圏、環全体のなす圏などは集合論で記述できないがそんなのは数学の中でごく例外的」と言い、
圏論派は「置換公理を使うような数学は圏論では記述できないがそんなのは数学の中でごく例外的」と言うわけですね。
お互い自分に都合がいいように「数学」というものを設定していると。