axiom schema
(Q792536)
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
Language:
Current Data About
axiom schema
other details
| aliases |
axiom schemas axiom schemata |
| description | a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear |
External Links
| (P646) |
/m/039jd5
|
| (P6366) |
8245965
|
| (P10376) |
mathematics/axiom-schema
|
| (P11514) |
skhema-aksiom-df23d9
|