axiom schema
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
en-US/ˈæksiəm ˈskimə/
en-GB/ˈæksɪəm ˈskiːmə/
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear