数理逻辑不能取代形式逻辑
수리라집불능취대형식라집
Formal Logic Will not Be Superseded by Mathematical Logic