 Some mathematical theories can be finitely axiomatized in a first-order language, but certain historically important number theories and set theories cannot. The axioms of these theories can sometimes be specified using schemata. For example, in first-order number theory the induction principle is specified using the schema