On: 1+1 = 0

This is just a demonstration of how math is not a rigid language and consequence of misuse of dynamic typing...

If we define symbol '1' to be integer typed, then there won't be any F_2 related confusion. And 1 + 1 is always 2.