自分の知ってる大半の基礎論の人は普通の数学をやってる
その対象が数理論理学とか公理的何々というだけ
なぜかというと
よく考えたら結局新しい成果を上げるには普通に数学をやる必要があるし
その対象を自分の思考の基盤としたら矛盾が起こった過去を知っているから