axiom schema الإنجليزية (Q2903142)
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | axiom schema |
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
subclass of الإنجليزية
Microsoft Academic ID الإنجليزية