Russian
аксиоматика Portuguese
sistema axiomático Spanish
teoría axiomática Catalan
sistema axiomàtic Set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
Set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.