the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > terms relating to axiom systems (2)
Agreeing or according in substance or form; congruous, compatible. (This and 7 are the usual current… spec. in Mathematics and Logic, (a) (of…
Logic and Mathematics. Of a formal logical or mathematical system: such that no new axiom can be added that is independent of the existing axioms…