Metadata
Author: WikiMatrix
Data
English[en]
Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system.
Basque[eu]
Beraz, axioma bat logika sistema formal baten funtsezko oinarria da, dedukziorako legeekin batera dedukzio sistema osoa osatzen dutelarik.