[avmich]

Yeah, that's why math doesn't have self-documenting theorems, right?

[taneq]

Does maths have self-documenting theorems? O.o

[eurasiantiger]

Geometrical proofs could be construed as such, even with some propositional logic given that someone comes up with a solid, universal way of expressing it (cf. The Golden Record)