形式逻辑和数理逻辑是两门不同的学科
형식라집화수리라집시량문불동적학과