Схе́ма аксио́м, единый способ задания аксиом, обладающих одной и той же синтаксической структурой. Конкретная схема аксиом обычно реализуется при помощи фиксирующего её синтаксическую структуру выражения $\mathfrak{A}$ (чаще всего не принадлежащего языку, в котором записываются аксиомы) и правил, позволяющих, исходя из выражения $\mathfrak{A}$, получить произвольную аксиому данной структуры.

В контекстах с заранее сформулированными или однозначно подразумеваемыми правилами порождения аксиом с помощью выражения $\mathfrak{A}$ схема аксиом обычно называется самовыражение $\mathfrak{A}$. Так, например, говорят о схеме аксиом $\alpha \supset(\beta \supset \alpha)$ пропозиционального исчисления $P$, подразумевая под этим совокупность аксиом вида $A \supset(B \supset A)$, где $A$ и $B$ – произвольные формулы исчисления $P$.

Примером схемы нелогических аксиом является следующий вариант схемы индукции в традиционных аксиоматизациях арифметики:$$\left(\alpha(0) \& \forall x\left(\alpha(x) \supset \alpha\left(x^{\prime}\right)\right)\right) \supset \forall x\, \alpha(x) ;$$здесь $\alpha$ и $x$ предполагаются не принадлежащими алфавиту языка рассматриваемой формализации арифметики и интерпретируются, соответственно, как произвольная формула и произвольная переменная этой формализации.

Применение схемы аксиом обычно позволяет обойтись без правила подстановки при построении формальных теорий. Так, например, во всяком достаточно сильном пропозициональном исчислении с двумя правилами вывода – правилом подстановки и правилом заключения – оказывается возможным ограничиться при выводах подстановками только в аксиомы, что позволяет эквивалентным образом модифицировать такое исчисление, заменив каждую аксиому соответствующей схемой аксиом и удалив правило подстановки из числа действующих в нём правил вывода.