A proof is relative to given knowledge.
- Axioms (characterization of the considered domain),
- Definitions (a "harmless" extension of the domain),
- Tautologies (true propositions in every domain),
- Propositions (formulas that have been previously proved),
- Assumptions (knowledge gradually added in a proof).
Author: Wolfgang Schreiner
Last Modification: November 30, 1999