[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)