 This definition makes the concept of proof amenable to study.Indeed, the field of proof theory studies formal proofs and their properties, the most famous and surprising being that almost all axiomatic systems can generate certain undecidable statements not provable within the system.The definition of a formal proof is intended to capture the concept of proofs as written in the practice of mathematics.