あ、ほんとだ。竹内外史著「現代集合論」を見たら、ゲーデルは
連続体仮説は偽であろうと強く思っていたようだ。