Go backward to Mastering ComplexityGo up to TopGo forward to Extending Theories |

*Definition: Theory*

- Function- and predicate-constants.
- Formulas using these constants (
*axioms*).

*Example*: Real Numbers

- 0, 1, +, *, <=
**forall**`x`,`y`:`x`+`y`=`y`+`x`

...

*Formulas in basic theory become large and difficult to understand.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999