but even in virtual reality we cannot measure all triangles, and so we cannot verify the theorem. How do we verify it? We prove it. A proof is traditionally defined as a sequence of statements satisfying self-evident rules of inference, but what does the ‘proving’ process amount to physically?
