数理逻辑是（）的分支学科。A、近代数学B、现代数学C、逻辑学D、应用数学

数理逻辑是（）的分支学科。