Go backward to Go up to Top Go forward to Basics
|
|
Motivation
- Most important mathematical domain.
Default for interpretation of logic formulas.
- Universal domain.
- Most other datatypes can be defined as sets.
- Relations, functions, numbers, arrays, lists, trees, databases, ...
- Fundamental domain.
- Not defined by other (more fundamental) domain.
- Characterized by its properties (axioms).
Building material for other theories.
Author: Wolfgang Schreiner
Last Modification: October 14, 1999