>>413
公理的集合論は数理論理の一分野に分類されている