>>441
>一般の集合論研究が基礎論に入るなら
いまどき一般の集合論研究なんてあるの?