I saw a less formal version of this fake proof that claimed to prove $2=1$ but because it assumed $a=b$ from the start I knew why it was wrong. It does seem however that the proof can be used to prove an certain implication I find very odd however. Clearly $\forall a. \forall b. a = b \to 0 = 1$ is false because I could pick $a$ and $b$ to be $1$ and then I would have derived 0 = 1 with no other conditions. So there must be something wrong with this proof that I am not seeing.
proof of $\forall a. \forall b. a = b \to 0 = 1$:
$a = b \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (assume)\\ a+a=a+b \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (x=y \to f(x) = f(y), f(x)=a+x)\\ 2a=a+b \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (a+a=2a)\\ 2a-2b=a+b-2b \,\,\, (x=y \to f(x) = f(y), f(x)=x-2b)\\ 2(a-b)=a+b-2b \,\, (distributive)\\ 2(a-b)=a-b \,\,\,\,\,\,\,\,\,\,\,\,\,\, (-b=b-2b)\\ 2=1 \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (x=y \to f(x) = f(y), f(x) =x/(a-b))\\ 1=0 \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (x=y \to f(x) = f(y), f(x) =x-1) $
now that I have "proven" $\forall a. \forall b. a = b \to 0 = 1$ I can now pick a and b to be 1.
$ 1 = 1 \to 1=0 \,\,\,\,\,\, (a=1, b=1, above)\\ 1 = 1 \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (\text{reflexivity})\\ 1=0 \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, (\text{modus ponens}) \\ $
So now it seems that I have managed to derive $1=0$. Clearly I messed up given that no one has been able to show $ZFC$ inconsistent and ostensibly this fits well within the most studied aspects of $ZFC$. Either that or a random guy that makes meme's online found the most profound result in mathematics ever.
So where have I missed the mistake?
The issue here is in the step where you say $$ 2(a-b)=(a-b) $$ $$ 2=1 $$
Since $a=b$, $a-b=0$, and therefore in that step you are dividing by zero. This proof is about as accurate as saying: $$ 0=0 $$ $$ (2)(0)=(1)(0) $$ $$ 2=1 $$