数理論理を勉強せずに数学基礎論を勉強することは可能ですか?