Go backward to Mastering Complexity Go up to Top Go forward to Extending Theories

Theory

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.