Formal Proof in Geometry: Definitions, Standards, and How to Read Proofs
mathematics
A formal proof in geometry is a finite, linear sequence of statements, each of which is either an assumption, an axiom, a previously proved theorem, or follows by a specified ru...
Open article