数学

基数の理論

これは,数学カフェ基礎論回の 予習回第6回の講演内容のメモです. このセミナーの最終目標は連続体仮説がZFCと独立であることの証明です。 今回は連続体仮説が何を主張しているかを理解することを目指して解説します. 連続体仮説の主張は以下のようなもので…

// コードブロック