adj.机械的；呆板的
=mechanised(英).
动词mechanize的过去式和过去分词形式.
The step by which a new axiom is added cannot itself be mechanized. 一个新公理得以产生，但产生公理的这个步骤自身却非机械的。
