| 非创新性准则 non-creatity criterion 合式定义遵循的两准则之一。指一个新的定义不能使旧符号之间那些先前不可证的关系获证，即它不能起创新的公理作用。由波兰莱斯涅夫斯基最早表述。从逻辑的观点看，一个系统中的一个定义可以看成一条新公理。但此新公理不能对该理论系统有任何实质性的增强。引进一个新符号的目的，只是为了便于对那个理论系统进行演绎的研究，而不是增补其结构。该准则可以叙述如下：在某一系统中引入一个新符号的一个公式S满足非创新性准则，当且仅当，不存在新符号不在其中出现的公式T，使得S→T可从该系统的公理及在先的定义推得，而T却不能按同样的前提推得。 |