[molf]

Totally get your point, but math is still a human creation. The symbols, language, and frameworks we use are cultural, and disagreement over proofs like this one shows math depends on shared understanding, not just objective truth.

[bananaflag]

I definitely agree with that. But that is a pale cultural dependence compared to what one would wish for.