theory (Q9295456)
Jump to navigation
Jump to search
set of formula that can be deduced from axioms in some given logic
- logical theory
- axiomatic theory
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | theory |
set of formula that can be deduced from axioms in some given logic |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Axiomatic theory
- frwiki Théorie axiomatique