I argue that organic chemistry is superficially similar to some aspect of abstract algebra
e.g. we can consider the axioms and theorems as reagents, reaction conditions.
A proof is then basically a question on how you can synthesize the product (what you try to prove) from a starting material (the starting point of a proof) using the reagents given (theorems, lemmas and axioms of the algebraic structure)
One major difference, however is the reaction yield is 100% for the maths, but not in chemistry
@Mith I'm on a very very slow mobile, so all hope of understanding what I said is lost. Autocorrect autocorrected chat to cha at and I was expressing surprise