Axioms implicitly define mathematical concepts without a positive predicate that fully characterizes...