axiom schema (Q792536)
Jump to navigation
Jump to search
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
- axiom schemas
- axiom schemata
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | axiom schema |
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear |
|
Statements
Identifiers
Sitelinks
Wikipedia(11 entries)
- dewiki Axiomenschema
- enwiki Axiom schema
- frwiki Schéma d'axiomes
- hrwiki Aksiomska shema
- itwiki Schema di assiomi
- jawiki 公理型
- nlwiki Axiomaschema
- plwiki Schemat aksjomatu
- ruwiki Схема аксиом
- ukwiki Аксіомна схема
- zhwiki 公理模式