夏休みももう終わるので残しておくことにします。 まず進振りで理学部数学科に無事内定しました。一安心です。 射影集合が全て決定的という言明をprojective determinacy（以下、PDと書く）と言います。夏休みはPDの無矛盾性証明に取り掛かってました。定理…