「集合論の次に来る物」って平凡に考えれば、
カテゴリー理論とかモデル理論かもしれないけど、
このスレ的に言えば、「確率・統計」じゃあないのかな。
   基礎論   ―――論理
   確率・統計 ―――推論
ってものすごく似ていると思うんだけど。
哲学板など見ると、「論理」のことばっかり議論していて、
確率・統計は眼中にないみたいだけど、
哲学に本当に必要なのは、「推論」だと思うんだけど。
哲学のことをよく知っているわけでないので当てにされると困るけどね。