axiom schema
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
| rdfs:label |
"axiom schema"@en
|
|
skos:alt |
"axiom schemas"@en
"axiom schemata"@en
|
| schema:description |
"a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear"@en
|
|
schema:date |
"2026-02-01T17:56:50+00:00"^^xsd:dateTime |
| schema:version | 2459825451 |
| wikibase:identifiers | 4 |
| wikibase:sitelinks | 11 |
| wikibase:statements | 5 |
| p:P10376 | wd:statement/Q792536-c4e5ab19-468b-1fe4-39c0-76b99c534096 |
| p:P11514 | wd:statement/Q792536-78E063FE-9AE3-4D51-BDC5-3FEC11DDF118 |
| p:P279 | wd:statement/Q792536-357D78CD-7AE5-47E9-B184-C2C302405775 |
| p:P6366 | wd:statement/Q792536-EDC3E796-552B-4118-935F-FD2765775BA4 |
| p:P646 | wd:statement/Q792536-6FAA07D2-2784-4941-B59B-FB96AB406AD4 |
|
p:direct- |
<https:/ |
| wdt:P10376 | "mathematics/axiom-schema" |
| wdt:P11514 | "skhema-aksiom-df23d9" |
| wdt:P279 | metaclass |
| wdt:P6366 | "8245965" |
| wdt:P646 | "/m/039jd5" |
Download as: