| 公理定义 axiomatic definition 亦称“公设定义”、“隐定义”。在公理系统中使用被定义项，从而使被定义项的语法作用自然而然地明确起来的定义方法。如在初等平面几何中，通过在欧几里得公理系统内使用“点”、“线”、“面”等被定义项，它们的作用也就自然地明确起来。命题逻辑最早的公理系统是弗雷格的公理系统，在他的系统里，经过简化，公理有三条，可以表达为：(1)p→(q→p)。(2)(p→(q→r))→((p→q)→(p→r))。(3)(p→q)→(q→p)。在该公理系统中，“”(否定)和“→”(蕴涵)为初始符号，是不作解释的。实际上“”和“→”作为被定义项，它们的语法作用是通过在公理系统中的使用而被推知，并从而明确起来的。 |