formalise

formalise的基本解释

vt.

使(协议、计划等)成书面文字形式, 使成为正式, 使具有一定形式

与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.

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

与formalise相关的网络解释 [注：此内容来源于网络，仅供参考]

formalise：使...正式化;形成某种形式

1-11 vertical 垂直的,垂直性的 | 1-12 formalise 使...正式化;形成某种形式 | 1-12 transportation 运输