#mathematical logic

• Algebro-logical — Pertaining to or relating to the intersection between algebra and logic; specific to algebraic logic. The term characterizes very rare mathematical methods or structures (such as cylindric or polyadic algebras) where problems of formal logic are analyzed through algebraic axioms.
• Non-partial — Not partial, total, complete, indivisible; an abstract term or speculative neologism used in certain philosophical systems or logical theories to describe an entity, property, or phenomenon that manifests itself entirely, without being capable of being fragmented, divided, or reduced to partial components.
• Axiomatization — The act of axiomatizing and its result; a formal, logical, and methodological process through which a scientific theory or body of knowledge is deductively structured, starting from a minimal set of definitions and fundamental postulates admitted without proof. This type of structural organization guarantees the elimination of internal contradictions and provides a perfect conceptual clarity, allowing the rigorous derivation of all theorems from the initial premises.
• 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.