公理模式

在符号逻辑中，用有穷数目的公理表达公理系统有时是不方便或不可能的。因此，要使用公理模式。形式上说，公理模式是合式公式的(通常是无穷的)集合，其中每个元素都被接受为一个公理。这个集合常常是递归构造的。一个周知的公理模式是替换公理模式。

在元数学家之间，关于包含公理模式的公理系统是否应当被看作是优雅的是有争议的。一些逻辑学家更偏好使用有穷数目的公理，如果可能的话。