全く数学基礎論的でない、数理論理学の成果といえば
やはりコーエンのフォーシングだろう。

フォーシングは、明らかに相対無矛盾性に特化したテクニック。
全く哲学的な臭みがない。コーエンはもともと解析出身だから
論理ヲタクとは感覚が全然違う。だからフィールズ賞が獲れた。