查询词典 formalise

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

Nelson was the first city in the world to formalise the eight-hour working day.

新西兰的尼尔森是世界上第一个正式实行8小时工作制的城市。

The Appellant intended to formalise those arrangements by creating a separate charity hall to which a lease of the hall would be granted at a peppercorn rent.

上诉人试图通过签定一份极低的租金的租约，租用一独立的慈善大楼以使那些计划变成正式书面协议。

Is it to gain an academic qualification to formalise your years of work experience?

得到学历资格，从而使多年的工作经验能够换到对应的资格证书？

Is it to gain an academic qualification to formalise your years of work experience?

得到学历资格，从而鼠燕年的工作经验能够换到对应的资格证书？

Now you need to get the business to formalise its' customer selection criteria and integrate the criteria into the systems of the business.

现在你需要让企业正式确定其顾客选择标准，并将这些标准溶入到企业的系统中。

The critical need…is to formalise…the procedures improvised in the case of Bear Stearns.

是规范化。。。在贝尔斯登案中的临时方案。

It included new powers for the Federal Reserve that formalise its attempt at policies to stabilise the markets.

该计划涉及赋予美联储新的权力，使其为稳定市场而做出的政策努力更有效。

So how does all this information help prepare Jose to formalise his tactics for the replay tonight?

那么这些资料能够怎样帮助何塞，去形成今晚重赛的战术？

Should we think physically and then add the mathematics apt to formalise our physical intuition, or should we think mathematically and then interpret physically the obtained results?

我们应该认为身体上然后增加数学给formalise容易我们物质直觉，还是我们应该数学上认为然后身体上解释被获得的结果？

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。