There are some axiomatic systems where there is a procedure, an algorithm, for proving or disproving statements in that system. Propositional logic has truth ta

There are some axiomatic systems where there is a procedure, an algorithm, for proving or disproving statements in that system. Propositional logic has truth tables and tableaux, for example. I believe some axiomatizations of plane geometry have such algorithms.