公理的集合論だって数理論理学の一分野なのになぜ公理的集合論だけ特別扱い？
モデル理論その他分野に比べて集合論は頭一つ抜けているとでもいうのかね