算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。
The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
最近1年的指导对于教学和学习来说是一种形式化的方法，它强调识字和算术等活动重点(2005小时的识字技能)。
Most recent year 1 guidance promotes a formal method for teaching and learning, with emphasis on literacy and numeracy activities such as the literacy hour (DfES 2005).
应用推荐