例えば連続体仮説なんてのは、まだ解かれていない、とかそういう言い方はしないわけだが