でも「通常の数学」からみた場合の集合論の存在意義って
かなりの部分が命題の独立性証明にあると思うけどなあ

それに集合論のひとは案外、外の人が思うよりも
群論や環論の公理系と似たようにZFCの公理系やそのモデルなどを扱っていると思う。
メタ理論と意味論を与える理論の区別をきちんとしていれば、
原理的にはほぼ全てのケースで、集合論における独立性証明を行うときの
メタ理論は弱い自然数論と見做せる。

一方で時相論理とか義務論理とかの研究の興味は
体系の数学的性質にはあまり無いと思う