axiom schema

Etymology

Compound of axiom + schema. A pattern that generates axioms.

Modifier axiom

From axiom (q.v.).

Head schema

A formal pattern. From Greek σχῆμα (schēma).

Origin

First-order logic. Formal systems.

Meaning

A template representing infinitely many axioms.

Earliest use

Attested in Oxford Reference, Wikipedia.

Definition

A formal pattern representing infinitely many axioms. Used in first-order predicate logic.