>>410
>公理的集合論などの数理論理
集合論は数理論理ではないですけどね
知らないんですか?