Axiom schema
Short notation for a set of statements that are taken to be true / From Wikipedia, the free encyclopedia
In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (May 2016) |