「こんなに強そうな公理が必要なんだろうか」とぼんやり思っていたんですが、クラスについての「どの同値関係にも完全代表系が存在する」というタイプの選択公理を認めれば大域選択公理があっさりと出て来てしまうことを知りました。「大域」というの、集合…

今日の詰めチャレは7勝3敗でした。気を抜けばがたがたと落ちてしまいそうなところを、どうにか堪えました。