4.10.3 数理批评与翻译