2022年の目標を書く．大半は去年できなかったことになる．・証明論と集合論を勉強する 特に集合論は，ある種の巨大基数の存在の何が嬉しいのか，強制法とはどういった手法なのか，等が分からない程度には何一つ知らないので，最低限の事だけでも読んでおかね…