>>417
Wikipedia の「数理論理学」の上から7行目には
>数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。
と書かれている
数学辞典などでも、公理的集合論は数理論理学の一分野として扱われている
まあ、あとは自分で確認してみるといい