Mathematical proofs are deductive arguments that logically guarantee conclusions from axioms and accepted rules of inference.
Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.