マジレスすると、数学板にあるこのスレッドに書き込む時点で
数学基礎論・数理論理学は数学であるということに合意したものと看做すべきだろう。