Buy Me a Coffee at ko-fi.com

Axiom schema

a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear

Pronunciation
/ˈaksɪəm ˈskiːmə/
/ˈæksiəm ˈskimə/
Categories
metaclass