集合論は集合論、論理学は論理学、数学とはあまり関係ない