Wiktionary
                    axiom schema
                    
                        
                
                                                                    n. (context logic English) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
Wikipedia
                    Axiom schema
                    
                        
                
                                                                    In mathematical logic, an axiom schema (plural: axiom schemata) generalizes the notion of axiom.