無限に付いて語る。実無限VS可能無限

レーベンハイム・スコーレムの定理の「可算モデル構成法」
は，コーヘンのフォーシング手法の背景となっており
さらに，巨大基数の存在のモデルの構成なども
その手法で行われているのはいかにも皮肉な事実だね。