>>366
> 次スレは、
> 「数理論理学・模型理論・証明論・計算論・集合論 その10」
> が良いと思う。

単純に「数理論理学　その10」でいいだろ。
「数理論理学」という名前ならスレの内容に関して余計な誤解を生む危険性もゼロだし。

模型論も証明論も計算論も数理論理学の一分野なんだから、スレタイに数理論理学とあれば不要。
Shoenfieldの数理論理学の古典的教科書だと公理的集合論も数理論理学の一分野になってるが、
最近は集合論は研究の量も多いから数理論理学の一分野じゃなくて隣接分野という捉え方の方が
むしろ主流のように感じないこともないが、数理論理学ってスレタイで公理的集合論の話題はＮＧって主張する人間は
ほとんどいないだろ。だったら「集合論」って語もスレタイには不要。
スレタイはスッキリと「数理論理学」って単純かつ明快な名称＋「そのＮＮ」って番号だけで十分だし
それがベスト。