Depends on your notion of proof.  That is one notion.<p>There&#x27;s the human version, that the other commentors talk about.<p>There&#x27;s also <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Interactive_proof_system" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Interactive_proof_system</a> for an interesting formal version that is not `transforming axioms&#x27;.