before modern mathematical notation, a lot of proofs were written out in plain language or done using shapes. I do wonder if one day someone will discover a critical edge case or nuance with a commonly accepted axiom that radically alters our understand of mathematics.