 Schemas are used in the formalization of logic, mathematics, and semantics. In logic, they are used to specify the axioms and inference rules of a system. For example, one formalization of first-order logic (in Shapiro 1991: 65) states that