catflap.org Online Dictionary Query |
5 definitions found
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
axiom schema
n.
(lb en logic) 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.
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
axiom schema
n.
(lb en logic) 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.
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
axiom schema
n.
(lb en logic) 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.
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
axiom schema
n.
(lb en logic) 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.
From English-suomi FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-fin ]
axiom schema /ˈaksɪəm skˈiːmə/
aksioomaskeema
Questions or comments about this site? Contact dictionary@catflap.org
Access Stats