>>161
集合論の研究って今もやってるやつおるんか?基礎論自体衰退してるらしいけど