ForAll[x, 1/x == 1/x]はTrueとなりますが
xが0のときはどういう解釈なんでしょう?