http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/lowenheim_skolem.html

レーヴェンハイム・スコーレムの定理により、そもそも何らかのモデルが存在
するならばその加算モデルが存在すると確信できる

非可算と「想定されていた」集合が、そのなかでは「実際には」可算であるよ
うなモデル -- の存在