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

集合論の基礎しか知らない私にとってかなり不思議に思った「集合の濃度」に関するお話です。 Notationと必要な知識 （あるいは）で集合の濃度（集合の元の個数を無限集合にも意味をもたせたもの）を表します。例えば、のときはです。 （あるいは）での部分集…