「数理論理学に関するカテゴリ」というのはカテゴリ名を見れば自明なのでわざわざ入れなかったのですが、必要でしょうか? (消して回ったり逆に書き足して回ったりするつもりはないので、トークでの質問にとどめます) --emk (トーク) 2022-12-26T23:25:43 (JST)