Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03638019n
Noun Concept
Categories: Mathematical axioms, Formal systems
EN
axiom schema  Axiom-scheme  axiom schemas  axiom schemata  axiom scheme
EN
In mathematical logic, an axiom schema generalizes the notion of axiom. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, an axiom schema generalizes the notion of axiom. Wikipedia
A formula in the metalanguage of an axiomatic system in which one or more schematic variables appear Wikidata
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. Wiktionary
IS A
metaclass
HAS KIND
axiom schema of replacement
HAS INSTANCE
Axiom schema of predicative separation
axiom schema of specification
axiom schema of replacement
Wikipedia
EN
axiom schema
Wikidata
EN
axiom schema
Wiktionary
EN
axiom schema
Wikipedia Redirections
EN
Axiom-scheme, axiom schemata, axiom scheme, finite axiomatization
Wikidata Alias
EN
axiom schemas

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License