| 公理图式 axiom scheme 数理逻辑中表示公理的一种方式。有的公理系统把用对象语言表达的公理作为出发点，有的系统的公理则采用以语法语言表示的图式。例如以和→为初始联结词的命题演算的公理图式是： (1) A→(B→A); (2) (A→(B→C))→((A→B)→(A→C)); (3) (A→B)→(B→A)。 一切具有以上形式的公式都是公理，例如： (p→r)→(q→(p→r))， 就是具有图式(1)的公理。每一公理图式相当于许多条具体的公理。使用公理图式时，推演比较简便，可以去除代入规则。 |