Axiom detector