One motivation for developing axiomatic systems is to determine precisely which properties
of certain objects can be deduced from which other properties. The goal is to choose a
certain fundamental set of properties (the axioms) from which the other properties of the
objects can be deduced (e.g., as theorems). Apart from the properties given in the axioms,
the objects are regarded as undefined.