公理模式

命題演算、一階邏輯以及數理邏輯中的其他理論由它們的公理（或公理模式，複數：axiom schemata）和推理規則定義。公理模式是代表無限多個公理的語句公式。這些公理透過用任何公式替換模式中的變數獲得。例如，公理模式

(1)

在命題演算中代表公理

	(2)
	(3)

等等。

通常使用公理模式而不是公理來定義理論。如果使用公理但未使用其模式，則應將變數替換納入推理規則。