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? To prove a statement about infinitely many triangles at once, we examine certain physical objects – in this case symbols – which have properties in common with whole classes of triangles.
