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...