Corollaryは必然に。

このブログは「コロちゃんぬ」の提供でお送りします

集合論

空集合 ~ここにサブタイトルを入力~

先週、数学カフェ数学基礎論回の“予習会”に参加し、ZFCの公理を学びました。この調子で6月頭に予定されている藤田博司先生の講演「連続体仮説の独立性証明」*1を理解したいです。というのも、ちょうど一年前に連続体仮説に関連するブログ corollary2525.hate…

「逆は必ずしも真ならず」どころではなかった件

※この画像は私のものではありませんので、画像単体でシェアする際はご注意ください。 集合論の基礎しか知らない私にとってかなり不思議に思った「集合の濃度」に関するお話です。 Notationと必要な知識 (あるいは)で集合の濃度(集合の元の個数を無限集合…