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