Related: https://en.wikipedia.org/wiki/Proof_without_words

Unfortunately the metamathematics of wordless proofs still needs words, maybe someone can make a proof theory without words?

https://www.maa.org/press/periodicals/convergence/proofs-wit...