>>186
どうも作用素環論とか離散群論の微妙な問題だと、連続体仮説が効いてくるらしい。