#formal system
- Axiomatics — A theoretical study, theory, technique, or formalized discipline that deals with the establishment, structural analysis, and rigorous application of axiom systems within a scientific field. It represents the assembly of fundamental postulates chosen as starting premises for a deductive science, serving as an immutable logical skeleton that guarantees the precise derivation of all demonstrable theorems and propositions in a given conceptual area.
- Axiomatized — Having undergone the process of axiomatization; a deductive system, domain, or body of concepts rigorously formalized on the basis of a fixed set of definitions and fundamental postulates. In a structural sense, it describes the final state of a scientific theory whose internal laws are mathematically derived, ensuring absolute coherence, lack of ambiguity, and a perfect logical validity.