1. Axiom schemaIn mathematical logic, an axiom schema generalizes the notion of axiom. An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs, stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Often, such conditions require that certain variables be free, or that certain variables not appear in the subformula or term.
Read “Axiom schema” on English Wikipedia
Read “公理型” on Japanese Wikipedia
Read “Axiom schema” on DBpedia
Read “Axiom schema” on English Wikipedia
Read “公理型” on Japanese Wikipedia
Read “Axiom schema” on DBpedia
Discussions
Log in to talk about this word.