公理定义

又称公设定义，隐(implicit)定义。公理系统中的公理包含了若干常项，通过这些公理，常项的意义自然而然地逐步明确起来，因此公理事实上起到了给这些常项下定义的作用，这就是公理定义。例如，命题演算系统的公理可以有以下3条：

①p→(q→p)

②(p→(q→r))→((p→q)→(p→r))

③(p→q)→(q→p)

这3条公理事实上定义了逻辑常项→和的语法作用。