2 ms·

Does maths have self-documenting theorems? O.o

• eurasiantiger 5y ago
  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)