数学基礎論、数理論理学は数学ではなく、
論理学なのだから、哲学板か、情報学板へ
言った方が良いよ。