人生で初めて独立性証明をちゃんと読みました．まだgeneric拡大の気持ちやgeneric拡大がZFCのモデルになっていることの気持ちが分かっていないのでじっくりと取り組んでいきたいですね．
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
