Firstly, we construct the system KA of knowing agents, give some results of its proof theory.

首先，我们构造知道主体的系统KA，给出它的一些证明论结果。

youdao

The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.

数学命题的证明步骤是由已知条件逐步推演形成的系统。

youdao

The key issues to construct the system lie in the design of software framework, databases, functions and security, etc.

设计和实现该系统的关键点在于系统的软件架构、数据库设计、系统功能以及系统的安全性设计等。

youdao

As we construct the education system of the future, all too often we fall back on them to measure quality which constrains innovation and hurts students.

FORBES: More Interaction In Online Courses Isn't Always Better

Interestingly, in the final years of the Soviet Union, Mikhail Gorbachev launched a charm offensive aimed at Western investors in the hope of keeping a failing communist system on Western life-support until the Kremlin could construct a more viable economic system (one such gambit was the oxymoronic "command market" economy).

CENTERFORSECURITYPOLICY: Center For Security Policy

His young age would complicate his rise to power immensely, due to the years of preparatory work needed to construct a powerful support system for the leadership candidate, such as the one that smoothed Kim Jong-Il's transition in 1994.

CENTERFORSECURITYPOLICY: The House of Kim