The step by which a new axiom is added cannot itself be mechanized.

• 一个新公理得以产生，但产生公理的这个步骤自身却非机械的。