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, th

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.