adj.機械的；呆板的
=mechanised(英).
動詞mechanize的過去式和過去分詞形式.
The step by which a new axiom is added cannot itself be mechanized. 一個新公理得以產(chǎn)生，但產(chǎn)生公理的這個步驟自身卻非機械的。
