Axiomatics is a set of initial propositions accepted without proof within a particular system.
This is not “blind faith,” but a starting point: without it, a system cannot unfold and derive conclusions.
1) Basic Definition
Strictly speaking:
axiomatics = initial propositions + rules of inference
Where:
– axioms are not proved within that same system;
– all other propositions (theorems, consequences) are derived from the axioms;
– changing the axioms produces a different system.
2) Important: An Axiom Is Not a Dogma
An axiom and a dogma are only superficially similar (both are “not proved here and now”), but their statuses differ.
- Axiom: a construction tool; it can be replaced to obtain a new model.
- Dogma: a prohibition against revision; questioning it is forbidden on principle.
Therefore, axiomatics is not a cult of immutability but a way to explicitly establish the foundations of reasoning.
3) Internal and External Levels
The phrase “axioms are not questioned” is correct only at the internal level of a system.
From an external position, axioms can be:
– discussed;
– compared with other foundations;
– changed to obtain another model;
– examined in terms of the consequences they produce.
In other words:
An axiom cannot be proved within a system, but it can be discussed outside that system.
4) Why Axiomatics Is Needed
Axiomatics is needed to:
– distinguish foundations from conclusions;
– make reasoning transparent;
– identify the limits of applicability of a model;
– avoid substituting implicit premises for analysis.
If foundations are not explicitly stated, the system begins to seem “self-evident,” although its starting assumptions are merely concealed.
5) Formulation for an Ontological Context
If an overly mathematical sound is undesirable, related terms can be used instead of “axioms”:
– primary distinctions;
– fundamental assumptions;
– ontological presuppositions;
– structural foundations.
Working formula:
Axiomatics is a fixed set of primary distinctions which are not unfolded any further within a given construction and which serve as the starting point for constructing all subsequent conclusions.
6) In Brief
- Axiomatics is the starting point of a system, not its end result.
- Axioms are not proved within the system, but can be revised from outside.
- Replacing axioms changes not “truth in general,” but the type of model and the set of consequences.
